The monadic theory of ω2
- 1 June 1983
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 48 (2) , 387-398
- https://doi.org/10.2307/2273556
Abstract
Assume ZFC + “There is a weakly compact cardinal” is consistent. Then: (i) For every S ⊆ ω, ZFC + “S and the monadic theory of ω 2 are recursive each in the other” is consistent; and (ii) ZFC + “The full second-order theory of ω 2 is interpretable in the monadic theory of ω 2” is consistent.Keywords
This publication has 6 references indexed in Scilit:
- A weak generalization of MA to higher cardinalsIsrael Journal of Mathematics, 1978
- A new class of order typesAnnals of Mathematical Logic, 1976
- The Monadic Theory of OrderAnnals of Mathematics, 1975
- The monadic second order theory of ω1Published by Springer Nature ,1973
- Unramified forcingProceedings of Symposia in Pure Mathematics, 1971
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959