Abstract
We extract some properties of Mahlo’s operation and show that some other very natural operations share these properties. The weakly compact sets form a similar hierarchy as the stationary sets. The height of this hierarchy is a large cardinal property connected to saturation properties of the weakly compact ideal.
Similar content being viewed by others
References
Baumgartner J.E.: Ineffability properties of cardinals I. In: Hajnal A., et al. (ed.) Infinite and finite Sets, Keszthely (Hungary) (1973), Colloq. Math. Soc. János Bolyai, vol. 10, pp. 109–130. North-Holland (1975)
Baumgartner J.E., Taylor A.D., Wagon S. (1977) On splitting stationary subsets of large cardinals. J. Symb. Log. 42(2): 203–214
Hellsten A. Diamonds on large cardinals. Ann. Acad. Sci. Fenn., Ser. A I, Diss. 134 (2003)
Hellsten A., Hyttinen T., Shelah S. (2002) Potential isomorphism and semi-proper trees. Fundam. Math. 175(2): 127–142
Hyttinen T. (2002) A remark on weakly compact cardinals. Math. Log. Q. 48(3): 397–402
Hyttinen T., Shelah S., Väänänen J. (2002) More on the Ehrenfeucht-Fraïssé game of length ω1. Fundam. Math. 175, 79–96
Jech T.: Stationary subsets of inaccessible cardinals. In: J.E. Baumgartner (ed.) Proceedings Summer Research Conf. in Math. Sci., Boulder, Col., 1983, Contemp. Math., vol. 31, pp. 115–142. Am. Math. Soc., Providence, RI (1984)
Jech T., Woodin W.H. (1985) Saturation of the closed unbounded filter on the set of regular cardinals. Trans. Am. Math. Soc. 292(1): 345–356
Levy A.: The sizes of the indescribable cardinals. In: Scott [10], pp. 205–218
Scott D. (ed.): Axiomatic Set Theory, Proc. Symp. Pure Math., vol. 13, part 1. Am. Math. Soc., Providence, RI (1971)
Shelah S., Väänänen J. (2005) A note on extensions of infinitary logic. Arch. Math. Logic. 44(1), 63–69
Shelah S., Väisänen P. (2002) The number of L ∞κ–equivalent nonisomorphic models for κ weakly compact. Fundam. Math. 174, 97–126
Solovay R.M.: Real-valued measurable cardinals. In: Scott [10], pp. 397–428
Sun W. (1993) Stationary cardinals. Arch. Math. Logic 32(6): 429–442
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hellsten, A. Orders of Indescribable Sets. Arch. Math. Logic 45, 705–714 (2006). https://doi.org/10.1007/s00153-006-0015-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-006-0015-1