Summary
We show that form, n≧1 the existence of a∏ m n indescribable cardinal is equiconsistent with the failure of the combinatorial principle
at a∏ m n indescribable cardinal κ together with the Generalized Continuum Hypothesis.
Similar content being viewed by others
References
[CW] Cummings, J., Woodin, H.: Generalized prikry forcing.
[D1] Devlin, K.J.: The axiom of constructibility. Lect. Notes Math.617, VIII +95 (1977)
[D2] Devlin, K.J. Constructibility. Berlin Heidelberg New York: Springer 1984
[G] Gregory, J.: Higher soushin trees and the generalized continuum hypothesis. J. Symb. Logic41, 663–671 (1976)
[H1] Hauser, K.: Indescribable cardinals and elementary embeddings. J. Symb. Logic56, 439–457 (1991)
[H2] Hauser, K.: The indescribability of the order of the indescribable cardinals. Ann. Pure Appl. Logic57 (1), 45–91 (1992)
[J] Jensen, R.B.: Lecture at the set theory meeting at Oberwolfach. November 1991
[KM] Kanamori, A., Magidor, M.: The evolution of large cardinal axioms in set theory. In: Müller, G.H., Scott, D.S. (eds.). Higher set theory. Proc. Oberwolfach 1977. (Lect. Notes Math., vol. 669, pp. 99–275) Berlin Heidelberg New York: Springer 1978
[Sh] Shelah, S.: On the successors of singular cardinals. In: Boffa, M., van Dalen, D., McAloon, K. (eds.) Logic colloquium 78, vol. 97, pp. 357–380. Amsterdam: North-Holland 1979
[So] Solovay, R.M.: Strongly compact cardinals and theGCH. Tarski symposium. Proc. Symp. Pure Math. AMS, Providence,RI 25, 365–372 (1974)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hauser, K. Indescribable cardinals without diamonds. Arch Math Logic 31, 373–383 (1992). https://doi.org/10.1007/BF01627508
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01627508