Skip to main content
×
×
Home

Indescribable cardinals and elementary embeddings

  • Kai Hauser (a1)
Extract

Indescribability is closely related to the reflection principles of Zermelo-Fränkel set theory. In this axiomatic setting the universe of all sets stratifies into a natural cumulative hierarchy (Vα: α ϵ On) such that any formula of the language for set theory that holds in the universe already holds in the restricted universe of all sets obtained by some stage.

The axioms of ZF prove the existence of many ordinals α such that this reflection scheme holds in the world Vα. Hanf and Scott noticed that one arrives at a large cardinal notion if the reflecting formulas are allowed to contain second order free variables to which one assigns subsets of Vα. For a given collection Ω of formulas in the ϵ language of set theory with higher type variables and a unary predicate symbol they define an ordinal α to be Ω indescribable if for all sentences Φ in Ω and AVα

Since a sufficient coding apparatus is available, this definition is (for the classes of formulas that we are going to consider) equivalent to the one that one obtains by allowing finite sequences of relations over Vα, some of which are possibly k-ary. We will be interested mainly in certain standardized classes of formulas: Let (, respectively) denote the class of all formulas in the language introduced above whose prenex normal form has n alternating blocks of quantifiers of type m (i.e. (m + 1)th order) starting with ∃ (∀, respectively) and no quantifiers of type greater than m. In Hanf and Scott [1961] it is shown that in ZFC, indescribability is equivalent to inaccessibility and indescribability coincides with weak compactness.

Copyright
References
Hide All
Dodd, A. J. [1982], The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge.
Drake, F. R. [1974], Set theory, North-Holland, Amsterdam.
Hanf, W. P. and Scott, D. [1961], Classifying inaccessible cardinals, Notices of the American Mathematical Society, vol. 8, p. 445.
Hauser, K. [1989], Independence results for indescribable cardinals, Ph. D. thesis, California Institute of Technology, Pasadena, California.
Jensen, R. B. [1967], Unpublished lectures at Bonn and at Oberwolfach.
Kunen, K. [1971], On the GCH at measurable cardinals, Logic colloquium '69 (Gandy, K. O. and Yates, C. E. M., editors), North-Holland, Amsterdam, pp. 107110.
Kunen, K. [1980], Set theory, North-Holland, Amsterdam.
Levy, A. [1971], The sizes of the indescribable cardinals, Axiomatic set theory (Scott, D. S., editor), Proceedings of Symposia in Pure Mathematics, vol. 13, part 1, American Mathematical Society, Providence, Rhode Island, pp. 205218.
Martin, D. A. and Steel, J. R. [1988], Projective determinacy, Proceedings of the National Academy of Sciences of the United States of America, vol. 85, pp. 65876591.
Mitchell, W. J. [1979], Hypermeasurable cardinals, Logic colloquium '78 (Boffa, M.et al., editors), North-Holland, Amsterdam, pp. 303316.
Moschovakis, Y. N. [1976], Indescribable cardinals in L, this Journal, vol. 41, pp. 554555.
Silver, J. [1971], Unpublished notes on reverse Easton forcing.
Solovay, R. M. and Tennenbaum, S. [1971], Iterated Cohen extensions and Souslin's problem, Annals of Mathematics, ser. 2, vol. 94, pp. 201245.
Vaught, R. L. [1963], Indescribable cardinals, Notices of the American Mathematical Society, vol. 10, p. 126.
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: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed