## 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