Skip to main content
×
Home
    • Aa
    • Aa

AD and patterns of singular cardinals below Θ

  • Arthur W. Apter (a1)
Abstract
Abstract

Using Steel's recent result that assuming AD, in L[ℝ] below Θ, κ is regular iff κ is measurable, we mimic below Θ certain earlier results of Gitik. In particular, we construct via forcing a model in which all uncountable cardinals below Θ are singular and a model in which the only regular uncountable cardinal below Θ is ℵ1.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1] A. Apter , On a problem inspired by determinacy, Israel Journal of Mathematics, vol. 61 (1988), pp. 256270.

[2] A. Apter , Some new upper bounds in consistency strength for certain choiceless large cardinal patterns, Archive for Mathematical Logic, vol. 31 (1992), pp. 201205.

[4] M. Gitik , All uncountable cardinals can be singular, Israel Journal of Mathematics, vol. 35 (1980), pp. 6188.

[5] M. Gitik , Regular cardinals in models of ZF, Transactions of the American Mathematical Society, vol. 290 (1985), pp. 4168.

[7] A. Kanamori and M. Magidor , The evolution of large cardinal axioms in set theory, Lecture notes in mathematics, no. 669, Springer-Verlag, Berlin and New York, 1978, pp. 99275.

[9] A. Kechris , Determinacy and the structure of L[ℝ], Proceedings of symposia in pure mathematics, no. 42, American Mathematical Society, Providence, RI, 1985, pp. 271283.

[10] A. Kechris , E. Kleinberg , Y. Moschovakis , and H. Woodin , The axiom of determinacy, strong partition properties, and non-singular measures, Cabal seminar '77–' 79 ( A. Kechris , D. A. Martin , and Y. Moschovakis , editors), Lecture Notes in Mathematics, no. 839, Springer-Verlag, Berlin and New York, 1981, pp. 75100.

[11] A. Kechris , D. A. Martin , and Y. Moschovakis (editors), Cabal seminar '77–'79, Lecture Notes in Mathematics, no. 839, Springer-Verlag, Berlin and New York, 1981.

[12] E. Kleinberg , AD ⊢ the ℵn are Jonsson cardinals and ℵω is a Rowbottom cardinal, Annals of Mathematical Logic, vol. 12 (1977), pp. 229248.

[14] A. Lévy and R. Solovay , Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5 (1967), pp. 234248.

[15] D. A. Martin and J. Steel , Projective determinacy, Proceedings of the National Academy of Sciences of the U.S. A, vol. 85 (1988), pp. 65826586.

[16] D. A. Martin and J. Steel , A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71125.

[18] F. Rowbottom , Some strong axioms of infinity incompatible with the axiom of constructibility, Annals of Mathematical Logic, vol. 3 (1971), pp. 144.

[19] R. Solovay , W. Reinhardt , and A. Kanamori , Strong axioms of infinity and elementary embeddings, Annals of Mathematical Logic, vol. 13 (1978), pp. 73116.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 1 *
Loading metrics...

Abstract views

Total abstract views: 26 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 28th March 2017. This data will be updated every 24 hours.