New answers tagged large-cardinals
0
votes
A weak (?) form of Shelah cardinals
I think any measurable Woodin cardinal is a limit of weakly Shelah cardinals.
To see this, note that, if $\kappa$ is a Woodin cardinal, for any $f : \kappa \to \kappa$, $\kappa$ is a limit of ...
5
votes
Reinhardt's ultimate classes
You can find Reinhardt's philosophy of set theory in
"Set existence principles of Shoenfield, Ackermann, and Powell", Fundamenta Mathematica, vol 84, pp 5-34 and
"Remarks on reflection ...
2
votes
Accepted
How large is the supremum of minimal $V$-heights of all first-order set theories formulated in a particular language of FOST?
Your ordinal $\beta_\mathcal{L}$ is perfectly well-defined: in my opinion it's more easily thought of as $$\sup\{\alpha: \forall \beta<\alpha(V_\beta\not\equiv V_\alpha)\},$$ and this definition ...
4
votes
Accepted
What's the consistency status/strength of this limitation principle?
This principle is inconsistent: consider the formula $\theta(x)$ = "$x^+$ is the smallest infinite cardinal at which $\mathsf{CH}$ fails." The formula $\theta$ cannot hold on more than one ...
1
vote
Are there interesting examples of theorems proved using ‘height’ extensions?
Here is another example.
The maximality principle in forcing is the scheme asserting of every statement $\varphi$ in the language of set theory that if there is forcing extension $V[G]$ of the set-...
6
votes
Accepted
Are there interesting examples of theorems proved using ‘height’ extensions?
Here is another instance, which appears in my recent paper with Bokai Yao on second-order reflection in the context of KMU with abundant urelements.
Joel David Hamkins and Bokai Yao, Reflection in ...
5
votes
Accepted
Equivalences of $\mathcal{F}$-Mahloness
The paper "Small Definably-large Cardinals" by Roger Bosch proves that an inaccessible cardinal is $\Sigma_{n+1}$-Mahlo if and only if it is $\Pi_n$-Mahlo except for $n=1$ (I'm referring to ...
Top 50 recent answers are included
Related Tags
large-cardinals × 672set-theory × 655
lo.logic × 317
forcing × 140
reference-request × 65
inner-model-theory × 45
model-theory × 38
descriptive-set-theory × 36
axiom-of-choice × 26
ct.category-theory × 21
self-distributivity × 21
mathematical-philosophy × 18
constructibility × 14
universal-algebra × 13
ultrafilters × 13
determinacy × 13
infinite-combinatorics × 12
continuum-hypothesis × 12
inner-models × 12
soft-question × 11
axioms × 10
co.combinatorics × 9
ordinal-numbers × 9
ultrapowers × 8
higher-order-logics × 8