The large-cardinals tag has no usage guidance.

**10**

votes

**0**answers

153 views

### The axiom $I_0$ in the absence of $AC$

It is well-known that if $AC$ holds and if $j: L(V_{\lambda+1}) \to L(V_{\lambda+1})$ is a non-trivial elementary embedding with $crit(j) < \lambda,$
then $\lambda$ has countable cofinality (and in ...

**4**

votes

**2**answers

287 views

### Embedding property of weakly compact cardinals

One of the characterizations of $\kappa$ being a weakly compact cardinal is being inaccessible, and for every $\kappa$-model $M$, there is a [$\kappa$-model] $N$ and an elementary embedding $j\colon ...

**9**

votes

**0**answers

198 views

### Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?

The question is: if I assert in ZF that there exists a Reinhardt cardinal, do I really get a theory of higher consistency strength than when I assert in ZFC that there exists an I0 cardinal (the ...

**4**

votes

**1**answer

240 views

### Large cardinals without choice?

For any given extension $T$ of ZFC (or perhaps NBGC or something), we can ask whether there is an extension $T'$ of ZF which does not prove AC such that
$Con(T) \leftrightarrow Con(T')$
$Con(T) \to ...

**6**

votes

**1**answer

336 views

### Does the consistency strength hierarchy coincide with the “arithmetic consequence” hierarchy at ZF + Reinhardt?

In these slides (see especially slide 26), Steel emphasizes the phenomenon that for all known "natural" extensions of ZFC, the ordering by consistency strength agrees with the ordering by containment ...

**7**

votes

**1**answer

190 views

### $\mathsf{AD}_\mathbb{R}$ and Elementary Embeddings

Suppose $\mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R})) + \mathsf{DC}$ holds. (We can use more if it is helpful.)
I believe under $\mathsf{AD}_\mathbb{R}$, every $A \subseteq \mathbb{R}$ is ...

**9**

votes

**1**answer

258 views

### Two questions about higher Souslin trees

Assume $V=L$ and let $\kappa$ be a Mahlo cardinal. Let $L[G]$ be the generic extension obatined by Mitchell forcing to make $2^{\aleph_0}=\aleph_2=\kappa.$
It is known that in the extension there ...

**2**

votes

**0**answers

114 views

### When do wide initial segments ruin admissibility?

Suppose $\alpha$ is admissible and $\beta<\alpha$. We know that $L_\alpha$ is an admissible set (by definition), but adding subsets of $\beta$ to $L_\alpha$ might break admissibility: while set ...

**12**

votes

**0**answers

237 views

### If $U,D$ are $\kappa$-complete nonprincipal ultrafilters on $\kappa$ and $j_U(U) = j_D(D)$, is $U=D$?

Here, $\, j_U, \, j_D$ are the canonical elementary embeddings induced by $U,D$ respectively.
I note that it is consistent with the existence of a measurable that the answer be yes: it is true in the ...

**8**

votes

**1**answer

281 views

### How long does the slow inefficient algorithm for computing the product in classical Laver tables take?

Let $(A_{n},*)$ denote the $n$-th classical Laver table. Let
$X_{n}$ be the set of all finite sequences of elements from $A_{n}$.
Define a function $E_{n}:X_{n}\rightarrow X_{n}$ by letting
...

**11**

votes

**1**answer

308 views

### Changing cofinalities above supercompact cardinals

Question. Suppose $\kappa$ is a supercompact cardinal and $\lambda > \kappa$
is measurable (or even larger large cardinal if necessary).
Is there a set generic extension of the universe in ...

**11**

votes

**0**answers

237 views

### Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have:
(1) $\kappa$ is singular in $V$ of cofinality $\omega,$
(2) $\kappa$ is regular (and in fact ...

**5**

votes

**1**answer

190 views

### Do strong embeddings always provide all the ultrafilters that exist?

Let $\kappa$ be a strong cardinal. Then for each $\lambda\geq\kappa$ does there exist a $\mu>\lambda$ such that if $U$ is a $\kappa$-complete ultrafilter on $\lambda$ and $j:V\rightarrow ...

**2**

votes

**0**answers

81 views

### Is there a transcendental definable function between algebras of elementary embeddings?

Let $\lambda$ be a cardinal. Let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $f:V_{\lambda}\rightarrow V_{\lambda}$ is a function and ...

**7**

votes

**1**answer

421 views

### Taller models of ZFC

This question is somewhat related to a previous one, where I asked for new forms of infinite beyond the cardinal hierarchy.
Using forcing techniques, at least the ones I know of, one starts from a ...

**5**

votes

**1**answer

210 views

### A Question on HOD, V and GCH

The theorem 1.1 of the following paper:
Mohammad Golshani, V, HOD, and the GCH, Journal of Symbolic Logic.
states that:
Theorem: Assume $V\models ZFC+GCH+~\text{There exists ...

**5**

votes

**1**answer

271 views

### Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...

**6**

votes

**0**answers

192 views

### The Hales-Jewett Theorem for an infinite alphabet

Recall the Hales-Jewett Theorem:
HJT: Given a finite alphabet $A$ and some $r \in \mathbb{N}$, there is some $H \in \mathbb{N}$ such that whenever $A^H$, the set of all length-$H$ words from $A$, ...

**6**

votes

**1**answer

268 views

### Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?

I am wondering if there are some first order theories of algebraic structures or structures of interest to model theorists of large cardinal consistency strength or at least unexpectedly high ...

**8**

votes

**0**answers

132 views

### Are there always large discrete families of normal measures?

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...

**4**

votes

**0**answers

143 views

### Two questions about the behavior of the continuum function

The first question asks about the global behavior of the power function in the case of finite gaps.
Question 1. Fix a natural number $m>1.$ For each limit ordinal $\alpha,$ including $0$, let ...

**10**

votes

**1**answer

384 views

### What sort of large cardinal can continuum be?

I have stumbled across a related question asking which large cardinal properties can hold for $\aleph_1$. This question is probably also related, asking in what ways $\aleph_0$ is a "large" cardinal.
...

**4**

votes

**1**answer

233 views

### Is tree property inconsistent with Berkeley cardinals in the absence of Axiom of Choice?

On one hand due to Kunen's inconsistency theorem it is known that within $\sf ZF$, large cardinal axioms beyond Reinhardt cardinal are inconsistent with $\sf AC$.
Also some recent results of Bagaria, ...

**7**

votes

**1**answer

360 views

### Can an ultrapower be undone by forcing?

I am not 100% certain this question is appropriate for MO; I may just be missing something obvious. Also, I vaguely recall a similar question being asked here a while ago, but I can't find it; if it ...

**8**

votes

**0**answers

165 views

### A question about strongly compact cardinals

Is the following equiconsistent with the existence of a strongly compact cardinals:
For every $\lambda > \kappa$ there exists a $\lambda$-strongly compact embedding $j: V \to M$ with the ...

**10**

votes

**1**answer

337 views

### “Largish” cardinals

In what follows, $\mathsf{ZCKP}$ refers to the subset of $\mathsf{ZFC}$ consisting of the axioms of Zermelo set theory with choice and foundation ($\mathsf{ZC}$) plus those of Kripke-Platek set theory ...

**6**

votes

**0**answers

163 views

### “Clubiness” of projective sets of ordinals

I'm sure this is just my google-fu failing me, but: what are sufficient, non-overkill large cardinal axioms which guarantee "Every (boldface) $\Pi^1_n$ set of (real codes for) countable ordinals ...

**6**

votes

**0**answers

188 views

### Adding minimal subsets to $\aleph_\omega$

Given a cardinal $\kappa,$ recall that $X \subset \kappa$ is called fresh (over $V$), if $X \notin V,$ but $X \cap \alpha \in V$ for all
$\alpha < \kappa.$
Question. Is it consistent that there ...

**6**

votes

**1**answer

250 views

### What is known about the large cardinal strength of Shelah's categoricity conjecture?

Shelah's categoricity conjecture states that for every Abstract Elementary Class $\mathcal{K}$ there is a cardinal $\mu$ depending only on $\operatorname{LS}(K)$ (i.e. the Löwenheim–Skolem number of ...

**6**

votes

**1**answer

223 views

### Mahlo cardinal and hyper k-inaccessible cardinal

It is known that every Mahlo cardinal $\kappa$ is hyper $\kappa$-inaccessible. It the converse true, namely: every cadinal $\kappa$ which is hyper $\kappa$-inaccessible is a Mahlo cardinal ?

**3**

votes

**1**answer

237 views

### How can the critical point of an elementary embedding be omega_1?

I've seen an example of an elementary embedding such that $\omega_1$ is the critical point.
I was wondering what's wrong with the following proof that this cannot be:
Let $\phi(x_1,x_2)$ be the ...

**6**

votes

**0**answers

334 views

### Is there any elementary embedding characterization for $\Pi_{1}^{1}$ - reflecting cardinals?

Similar to one of the characterizations of weakly compact cardinals, a $\Pi_{1}^{1}$ - reflecting cardinal is defined as follows:
A cardinal $\kappa$ is $\Pi_{1}^{1}$ - reflecting if $\kappa$ is ...

**18**

votes

**2**answers

540 views

### Removing large cardinals from an uncountable transitive model

The usual way of removing large cardinals from a given model of set theory is to cut off the model below the least large cardinal of interest. But this method may have dramatic effects on the external ...

**6**

votes

**1**answer

585 views

### Replacing Axiom of Choice with Axiom of Countable Choice

Many people find ACC more intuitive than AC ("Pick something from the first set, then something from the second set, then...) and it also doesn't lead to "controversial consequences" (See for eg: ...

**8**

votes

**1**answer

262 views

### Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for some inaccessible $\lambda$?

Is it consistent that there exists an inaccessible cardinal $\lambda$ and a forcing extension $V[G]$ so that $$V[G]\models\text{There is some non-trivial elementary embedding ...

**0**

votes

**0**answers

17 views

### In what sense is the function that maps $\alpha$ to the least $\alpha$-Erdős cardinal fast-growing

If we let $\alpha$ be an infinite limit ordinal and denote by $\kappa(\alpha)$ the least $\alpha$-Erdős cardinal, there should be some sense in which $\kappa(\alpha+\omega)$ is much larger than ...

**6**

votes

**1**answer

207 views

### Elementary chains in forcing extensions of $M_1$

Let $M_1$ be the canonical inner model with one Woodin cardinal $\delta$. Now suppose that $\mathbb{P}$ is a forcing notion of size $< \delta$, which preserves $\omega_1$ and that $G$ is a generic ...

**6**

votes

**0**answers

166 views

### PCF conjecture and fixed points of the $\aleph$-function

Recently Moti Gitik refuted Shelah's PCF conjecture, by producing a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1.$ See his papers
Short extenders forcings I and Short ...

**5**

votes

**0**answers

154 views

### Can one take roots of rank-into-rank embeddings infinitely many times?

If $\lambda$ is a cardinal, then let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $j,k\in\mathcal{E}_{\lambda}$, then define ...

**7**

votes

**1**answer

337 views

### Is every ordinal potentially definable?

It is easy to see that, if $V\models\alpha>\omega_1^{CK}$, then $\alpha$ is not recursive in any forcing extension of $V$. The argument goes as follows:
The relation "$\Phi_e=r$" is $\Pi^0_2$.
...

**11**

votes

**0**answers

310 views

### Large cardinals arising from alternate set theories

My question is whether there are model-theoretic large cardinal axioms associated with $NFU$ - or more generally, with set theories other than $ZFC$.
Large cardinal properties generally come in one ...

**9**

votes

**0**answers

155 views

### Idea behind the proof of consistency of club filter of $\omega_1$ is ultrafilter + ZF + DC

I've been trying to understand Radin Forcing and some of its applications, one of which is the use of it to prove the consistency of ''Club filter of $\omega_1$ is an ultrafilter + ZF + DC''. However, ...

**10**

votes

**0**answers

153 views

### Homogeneity of a variant of Prikry forcing

Prikry forcing is easily seen to be cone homogeneous (for any $p, q \in \mathbb{P}$, there are $p' \leq p, q' \leq q$ and an isomorphism $\Phi: \mathbb{P}/p' \simeq \mathbb{P}/q'$); in particular for ...

**9**

votes

**2**answers

401 views

### Ordering of large cardinals by cardinality

Let Type A and Type B be two types of large cardinals from, say, Cantor's Attic (http://cantorsattic.info/Upper_attic)
Now assuming that ZFC + Type A + Type B is consistent (ie, both Type A and Type ...

**2**

votes

**1**answer

220 views

### Wholeness Axiom and Ultimate L

From what I understand:
The Wholeness Axiom(s) is/are the "ultimate axioms of infinity", bordering on inconsistency with ZFC.
Ultimate L (Completion of ZFC) attempts to extend the orderly world of ...

**8**

votes

**2**answers

355 views

### Large cardinal consistency strength and size

My understanding is that large cardinals are ordered by "consistency strength", but how does this correlate with their size (cardinality)?
More specifically, are there any systematic results on the ...

**0**

votes

**1**answer

194 views

### A question regarding models of $ZF+I_0$ [Revised]

In his answer to user42090's mathoverflow question"Minimal Generalized Contnuum Hypothesis & Axiom of Choice", Prof. Hamkins writes:
"...one can build the analogue of the symmetric models for ...

**6**

votes

**2**answers

404 views

### “Lebesgue-measurable” cardinals and real-closed fields

I understand the motivation behind measurable cardinals is to ask the question: "is there any set large enough to admit a non-trivial measure on all of its subsets?"
Hence, it's also worthwhile to ...

**12**

votes

**2**answers

394 views

### tree properties on $\omega_1$ and $\omega_2$

Are the following mutually consistent (relative to large cardinals)?
(1) There are no $\omega_2$-Aronszajn trees.
(2) There is an $\omega_1$-Kurepa tree.
In the models I know of the tree property ...

**2**

votes

**1**answer

174 views

### tree property at $\aleph_2$ and $\aleph_4$

It is claimed that if there are two weakly compact cardinals, then there is a generic extension in which $\aleph_2$ and $\aleph_4$ have the tree property. Assuming one knows Mitchell's forcing, what ...