The large-cardinals tag has no usage guidance.

**22**

votes

**0**answers

904 views

### Supercompact and Reinhardt cardinals without choice

A friend of mine and I ran into the following question while reading about proper forcing, and have been unable to resolve it:
Definition. A cardinal $\kappa$ is supercompact if for all ordinals $\...

**21**

votes

**0**answers

725 views

### categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result?
Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...

**16**

votes

**0**answers

715 views

### Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$.
In this question I would like ...

**14**

votes

**0**answers

389 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 ...

**14**

votes

**0**answers

408 views

### How to prove projective determinacy (PD) from I0?

Martin and Steel (in 1987?) showed that if there are infinite many Woodin cardinals then every projective set of reals is determined (PD).
However, it is mentioned in many texts that in 1983/1984 ...

**13**

votes

**0**answers

446 views

### Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem:
Theorem. Assuming the consistency of infinitely many strong cardinals, one ...

**12**

votes

**0**answers

248 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 ...

**12**

votes

**0**answers

285 views

### Adding a saturated ideal

Is it consistent that there is no $\omega_2$-saturated ideal on $\omega_1$, but one is introduced by an $\omega_2$-closed forcing?
Some motivation:
If $\delta$ is a Woodin cardinal, then it remains ...

**12**

votes

**0**answers

462 views

### Some questions about $0^{\sharp}$ and forcing over $L$

1-Let $P\in L$ be a nontrivial set forcing or even a tame class forcing (tameness in the sense of Sy Friedman; see for example his Handbook paper), and let $G$ be $P-$generic over $L$. Then it is well-...

**11**

votes

**0**answers

316 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 ...

**11**

votes

**0**answers

273 views

### Absoluteness of “$\kappa$-homogeneously Suslin” for sets of reals

What is known about the absoluteness, or lack thereof, of the notion of "$\kappa$-homogeneously Suslin" for sets of reals?
For example, if $A$ is $\kappa$-homogeneously Suslin and $\lambda > \...

**10**

votes

**0**answers

155 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

**0**answers

157 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, ...

**9**

votes

**0**answers

188 views

### Preserving Jonsson cardinals

I am (still) interested in trying to characterize and describe forcings that preserve Jonsson cardinals. A cardinal $\kappa$ is a Jonsson cardinal if there is no Jonsson algebra on $\kappa$, i.e. ...

**9**

votes

**0**answers

294 views

### Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings $j_{\...

**8**

votes

**0**answers

199 views

### Inner models and strongly compact cardinals

The following question is motivated by a result of Magidor that it is consistent that the least strongly compact cardinal is the least measurable cardinal.
Question. Assume $\kappa$ is a strongly ...

**8**

votes

**0**answers

133 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 ...

**8**

votes

**0**answers

168 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 ...

**8**

votes

**0**answers

408 views

### $\Pi_0^1$-weakly indescribable cardinals are exactly the regulars

Hi,
I'm not sure if I should ask here or over at math.stackexchange.com, but I think here it's a bit more fitting. This question stems from a homework problem:
Definition:
Given some class of ...

**7**

votes

**0**answers

194 views

### Singular Jonsson cardinals

Is the consistency of the following well-known:
$(*)$: There exists a singular cardinal $\kappa$ such that :
(1) $\kappa$ is a Jonsson cardinal,
(2) $\kappa$ is not a fixed point of the $...

**7**

votes

**0**answers

207 views

### Countable choice in $L(\mathbb{R}^*_G)$

Let $\lambda$ be a singular strong limit cardinal and let $G \subset \text{Col}(\omega,\mathord{<}\lambda)$ be a $V$-generic filter. Let $\mathbb{R}^*_G = \bigcup_{\alpha < \lambda} \mathbb{R}^{...

**7**

votes

**0**answers

274 views

### Critical Points of Rank-into-Rank Embeddings

A rank-into-rank embedding is a non-trivial elmentary embedding from a rank initial segment of $V$ into itself: $j:V_\delta\prec V_\delta$. Define the critical sequence of such an embedding by setting ...

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

**0**answers

190 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

**0**answers

336 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 ...

**6**

votes

**0**answers

168 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 ...

**6**

votes

**0**answers

187 views

### Where does this strengthening of I1 stand?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\...

**6**

votes

**0**answers

200 views

### Core model for supercompact cardinals and iteration trees

I have a few somehow related questions:
Question 1. What do we expect for an inner model $\mathcal{K}$ to be a core model for a supercompact cardinal? What properties should it have, and what ...

**6**

votes

**0**answers

308 views

### $\delta$-strong compactness and generalized strong tree properties

Are there non-trivial equivalent characterizations of $\delta$-strongly compact (and almost strongly compact) cardinals in terms of generalized tree properties?
Recall the definitions as per Joan ...

**6**

votes

**0**answers

258 views

### Does Sageev's result need an inaccessible?

In 1981, building on work by Ellentuck in 1974, Sageev showed ("A model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic," ...

**6**

votes

**0**answers

434 views

### A proposed axiom of Laver (updated)

A few months back, I posted a question asking about a proposed axiom of Laver's and I, unfortunately, left out a critical piece. Here is the full axiom:
(L) Some elementary embedding $j:V_{\lambda+1}...

**6**

votes

**0**answers

319 views

### PFA and the compactness/incompactness of $\omega_2$

There are many consequences of the Proper Forcing Axiom (PFA) which essentially say that $\omega_2$ has a lot of compactness.
For instance, Matteo Viale and Christoph Weiss have a few papers in ...

**5**

votes

**0**answers

159 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 $j*k=\bigcup_{\...

**5**

votes

**0**answers

291 views

### Cardinal characteristics without choice

(I'm taking my definition of a cardinal characteristic from Blass' excellent article http://www.math.lsa.umich.edu/~ablass/need.pdf, which cites Vojtas/Fremlin/Miller; theirs is more general, but I'm ...

**5**

votes

**0**answers

182 views

### A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$.
Question 1: Is it ...

**5**

votes

**0**answers

256 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see http://en....

**5**

votes

**0**answers

133 views

### A result of Steel on characterizing lightface pointclasses

In the article Projectively wellordered inner models, Steel proves the following theorem (4.12):
Theorem: Let $n < \omega$ and suppose $\mathcal{M}_n^{\sharp}$ exists. Let $\delta=\delta^1_{n+2}$....

**5**

votes

**0**answers

152 views

### Impact of Supercompacts on Measurables

It is consistent that the least measurable cardinal can carry exactly one normal measure but in almost all models for this theory there is no supercompact cardinal. It seems existence of a ...

**4**

votes

**0**answers

145 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 $\...

**3**

votes

**0**answers

182 views

### name for an intermediate notion between huge and 2-huge

I am employing a large cardinal notion that has been used explicitly before, and I am wondering if someone has given it a good succinct name.
A cardinal $\kappa$ is huge if there is an elementary $j :...

**3**

votes

**0**answers

267 views

### Internal large cardinal embeddings. How deep can we go?

Suppose, in V, that $\kappa$ is a large cardinal, say $\kappa$ is supercompact, and $j:V \to M$ is an ultrapower embedding witnessing the large cardinal properties of $\kappa$. From here, we can take ...

**3**

votes

**0**answers

278 views

### On Successive Regular Cardinals With No Ladders

Definition: Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a ladder if every $f_\alpha$ is injective.
Equivalently this is ...

**2**

votes

**0**answers

121 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 ...

**2**

votes

**0**answers

82 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 $\...

**2**

votes

**0**answers

95 views

### Do there exist projective realcompact covers?

In 1958 Gleason [1] constructed projective covers in the category of compact Hausdorff spaces. These may be characterized in many ways. One description that is most interesting to me: $p:EX\to X$ is a ...

**2**

votes

**0**answers

381 views

### large cardinal tree properties as properties of sheaves

As follows from this talk Large Properties for Small Cardinals, p.7,p.4 http://www2.dm.unito.it/paginepersonali/viale/SEMINARS-TORINO/Fontanella-Torino-19.1.2012.pdf, the definitions of weakly compact ...

**2**

votes

**0**answers

206 views

### a partial order not dense iff a measurable exists

For $\kappa>0$ a regular cardinal, let $Ht_\kappa$ denote the following partial quasi-order:
(i) elements(objects) of $Ht_\kappa$ are classes X of sets of size $\kappa$
with the property that,
($&...

**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 $\...