Weakly compact cardinal: Difference between revisions
Jump to navigation
Jump to search
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 10:
The existence of a weakly compact cardinal is not provable in ZFC, assuming its existence - however, if they do, they are very large. In particular, they are inaccessible, Mahlo, \(1\)-Mahlo, hyper-Mahlo and more. However, since "\(\kappa\) is weakly compact" is a \(\Pi^1_2\) property of \(V_\kappa\),<ref>Kanamori, Akihiro (2003). The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (2nd ed.). Springer. p. 64. doi:[https://doi.org/10.1007%2F978-3-540-88867-3_2 10.1007/978-3-540-88867-3_2]. ISBN 3-540-00384-3</ref> i.e. a \(\Pi_2\) property of \(V_{\kappa+1}\),<ref>J. D. Hamkins, "[https://jdh.hamkins.org/local-properties-in-set-theory/ Local properties in set theory]" (2014), blog post. Accessed 29 August 2023.</ref> a totally reflecting cardinal, or even a \(\Pi^1_2\)-indescribable cardinal, is larger than the least weakly compact cardinal.
Note that, unlike the relation between weakly and strongly inaccessible cardinals, and weakly and strongly Mahlo cardinals, strongly compact cardinals are always significantly greater than weakly compact cardinals, both in terms of consistency strength and size. Also, any weakly compact cardinal is necessarily a strong limit, and there is no known weakening which allows \(2^{\aleph_0}\) to be weakly compact, unlike the case with [[Inaccessible cardinal|weakly inaccessible]] and weakly inaccessible cardinals.
==References==
| |||