The large-cardinals tag has no wiki summary.

**8**

votes

**1**answer

327 views

### What is known about equiconsistency of PFA and existence of supercompact cardinals?

Question: What is the last status of known partial results and new approaches on the problem of equiconsistency of PFA and existence of supercompact cardinals?

**4**

votes

**1**answer

204 views

### Increasing and Descending Chains of Inner Models for Measurable Cardinals

Notation: For each measurable cardinal $\kappa$ and a non-trivial $\kappa$-additive two-valued measure $\mu$ on it let $M_{\kappa,\mu}$ be the corresponding inner model.
Question: Assuming suitable ...

**27**

votes

**3**answers

1k views

### Latest stand of core model theory?

What is the "strongest" core model to this day? In particular, how far are we from a core model for supercompact cardinals? There are rumors of some notes from a workshop in 2004:
...

**12**

votes

**1**answer

413 views

### How strong is the iterated consistency of ZFC?

Let $T_0$ be $\mathsf{ZFC}$ and, for $n\in\omega$, set $T_{n +1}=T_{n}+\mathrm{Con}(T_{n})$.
Question 1: Is there a natural number $n$ such that $T_{n}$ is equiconsistent with $\mathsf{ZFC}+$ ...

**10**

votes

**1**answer

397 views

### V=HOD & The Height of the Large Cardinal Tree

As we know the assumption $V=L$ adds a restriction on the height of the large cardinal tree. Also there is a strict border like $0^{\sharp}$ exists such that all large cardinal axioms which are ...

**2**

votes

**1**answer

222 views

### $(\kappa,\lambda)$ - Minimal Models & Stronger Version of Rowbottom's Theorem

Definition 1: Let $M$ be a $\mathcal{L}$ - structure and $A\subseteq Dom(M)$. Define:
$Def_{A}(M):=\{X\subseteq Dom(M)~|~\exists n\in \omega~~\exists \varphi (x,y_1,...,y_n)\in ...

**1**

vote

**1**answer

269 views

### $(\kappa , \lambda)$ - Minimal Models of $\text{ZF}$

The notion of minimality in model theory is related to the existence of a gap in the size of definable subsets of a model. Now consider the following generalization:
Definition 1: Let $M$ be a ...

**12**

votes

**1**answer

370 views

### capturing small sets in small factors

Suppose $\kappa$ is a regular cardinal and $P$ is a $\kappa$-c.c. partial order. I want to know when are small sets added by subforcings of size $<\kappa$. The following seems well-known:
...

**10**

votes

**2**answers

210 views

### What is the strength of chains of 1-extendibles?

Let $X$ be a collection of cardinals such that if $\kappa,\lambda\in X$ and $\kappa<\lambda$, then there is a non-trivial elementary embedding $j:V_{\kappa+1} \to V_{\lambda+1}$ with $crit(j) = ...

**8**

votes

**2**answers

490 views

### Is the tree of large cardinals linear?

Kanamori in the introduction of his book "The Higher Infinite" says:
"The investigation of large cardinal hypotheses is indeed a mainstream of modern set theory, and they have been found to play a ...

**14**

votes

**4**answers

1k views

### A New Continuum Hypothesis (Revised Version)

Define $N_n$ as $n$ th natural number: $N_0=0, N_1=1, N_2=2, ...$.
What happens after exponentiation?
We have the following equation: $2^{N_n}=N_{2^{n}}$.
(Which says: For all finite cardinal $n$ ...

**5**

votes

**0**answers

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

**7**

votes

**0**answers

206 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

**2**answers

393 views

### The First Failure of GCH in Large Cardinals Smaller than Measurables

A well known theorem by Scott says:
If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it and $\mu (\lbrace\lambda\in\kappa~|~2^{\lambda}=\lambda^{+}\rbrace)=1$ then ...

**3**

votes

**1**answer

177 views

### Failure of GCH at indescribable cardinals

Can $\Pi^m_n$ indescribable cardinal be the first one where $\text{GCH}$ fails?
Hauser showed in
Hauser,K.: Indescribable cardinals and elementary embeddings.
J. Symb. Logic 56, 439457 (1991)
that ...

**5**

votes

**1**answer

239 views

### Solovay's Theorem on Partitions of Stationary Sets and Weak Choice Principles

There is a weak choice principle called $DC_\lambda$ which holds in $L(V_{\lambda+1})$ under the assumption of a non-trivial elementary embedding $$j:L(V_{\lambda+1})\prec L(V_{\lambda+1})$$ and it is ...

**12**

votes

**1**answer

219 views

### extending elementary embeddings from initial segments of V to all of V

Suppose $j:V_\lambda \rightarrow V_\eta$ is (elementary and) cofinal. Can $j$ be extended to all of $V$?
(Subsidiary question: What conditions are there on an ultrafilter/extender/whatever so that ...

**3**

votes

**4**answers

279 views

### What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

ِDefinition (1): Call an inner model M "rigid" if there are no non-trivial elementary embeddings $j: M\longrightarrow M$.
It is possible that $L$ is not rigid, while the problem is open for $HOD$. ...

**4**

votes

**1**answer

235 views

### Adding large sets not containing countable ground model sets

The question is motivated by Toni's question "Approximation of infinite set in generic extension" (see Approximation of infinite set in generic extension).
Before I state the question, let me add ...

**2**

votes

**1**answer

225 views

### Are measures of a measurable cardinal measurable? (Edited and Updated Version)

Update: Regarding to Prof. Hamkins's guidance I restricted the questions to the "normal" measures to avoid trivial answers.
Definition: Let $\kappa$ be a measurable cardinal. Define:
...

**11**

votes

**1**answer

338 views

### Is the inclusion version of Kunen inconsistency theorem true?

The relations $\in$ and $\subsetneq$ seem so similar in some sense. For example they are equal on ordinal numbers. So there is a natural question about their possible similar behaviors on the ...

**4**

votes

**1**answer

179 views

### what kind of ordinal is the degree of strongness of a partially strong cardinal (Edited and revised)

For an infinite cardinal $\kappa$ and an ordinal $\lambda>\kappa,$ $\kappa$ is called $\lambda-$strong, if there is a non-trivial elementary embedding $j: V \rightarrow M$ with $crit(j)=\kappa$ ...

**5**

votes

**1**answer

187 views

### What are the Possible Large Cardinals of $L[X]$?

I've been doing some basic reading in inner model theory, and I'm at the point where I've seen the definition of things like Martin-Steel and Mitchell-Steel inner models. I am wondering about the ...

**3**

votes

**1**answer

182 views

### Do inner models of unique measurable cardinals have a regular behavior? (Edited and Revised Version)

We know that if $\kappa$ is a measurable cardinal and $\mu$ be a two-valued non-trivial$\kappa$-additive measure on it then the corresponding inner model produced by ...

**2**

votes

**1**answer

198 views

### Can we flex the rigid models by enough power?

Definition (1): An $\mathcal{L}$ - structure $\mathcal{M}$ called "rigid" iff there is no non-trivial automorphism on $\mathcal{M}$.
Definition (2): An ...

**9**

votes

**4**answers

582 views

### Proving ZFC results using large cardinals

There are many $ZFC$ results that their proof uses forcing: The idea is that we force the statement to be true, and then using absoluteness (or other reasons) we conclude that the result is true in ...

**14**

votes

**3**answers

551 views

### Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size ...

**7**

votes

**1**answer

210 views

### Character of normal ultrafilters

The character of an ultrafilter $U$, denoted $\chi(U)$, is the minimal size of an $A \subseteq U$ such that $(\forall x \in U ) (\exists y \in A) y \subseteq x$. This cardinal characteristic has been ...

**5**

votes

**1**answer

149 views

### Is there a truth approximation on a cumulative hierarchy?

Note to the following well known theorem:
Theorem (1): If $\kappa$ be a "measurable" cardinal and $\mathcal{F}$ be a "non-principal $\kappa$-complete normal" ...

**6**

votes

**1**answer

271 views

### Are larger large cardinals less expressible?

First note to the following well known theorems:
Theorem (1): The notion of "$x$ is a strongly inaccessible cardinal" is first order expressible and $\Pi_{1}$.
Theorem (2): ...

**7**

votes

**1**answer

364 views

### How strong are large cardinal properties of Ord?

Ordinal numbers are generalizations of natural numbers. In this sense the "proper class" of all ordinals ($Ord$) is very similar to "infinite" set of all natural numbers ($\omega$). In the other ...

**6**

votes

**1**answer

668 views

### Is there a monster behind the trees?

First Fix the following notation:
$\forall \kappa\in Card~~~Tp(\kappa):="\kappa~has~tree~property"$
The large cardinals as "monsters of heaven" live everywhere in the land of ...

**21**

votes

**0**answers

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

**11**

votes

**0**answers

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

**6**

votes

**1**answer

256 views

### Vopenka's Principle for non-first-order logics

(For simplicity, the background theory for this post is NBG, a set theory directly treating proper classes which is a conservative extension of ZFC.)
Vopenka's Principle ($VP$) states that, given any ...

**10**

votes

**2**answers

284 views

### Singular successors without large cardinals

Assuming the axiom of choice we have that successor cardinals are regular. However as one of the first examples of uses of forcing show, it is consistent relative to $\sf ZF$ that $\omega_1$ is ...

**13**

votes

**3**answers

441 views

### Is Prikry forcing minimal?

Let $M$ be a model of $\sf ZFC$ in which $\kappa$ is a measurable cardinal, and $\cal U$ is a normal measure on $\kappa$. We can define the Prikry forcing (the most simple one) as the poset: $$\Bbb ...

**14**

votes

**2**answers

795 views

### Woodin's unpublished proof of the global failure of GCH

An unpublished result of Woodin says the following:
Theorem. Assuming the existence of large cardinals, it is consistent that $\forall \lambda, 2^{\lambda}=\lambda^{++}.$
In the paper "The ...

**4**

votes

**1**answer

252 views

### Large cardinals and mild extensions

It is known that for many large cardinals $\kappa$ (like weakly compact, measurable,...) , $\kappa$ remains large of the same type after forcings of size $<\kappa$. Now the questions are:
Question ...

**12**

votes

**0**answers

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

**3**

votes

**2**answers

191 views

### Preservation of measurable cardinals in mild extensions

I would like some help with the proof of the preservation of measurable cardinals in mild extensions, as I am a bit new with forcing.
By mild extensions, I mean the generic extension produced from a ...

**10**

votes

**2**answers

608 views

### What are Moschovakis cardinals?

The question is exactly that of the title: what are Moschovakis cardinals?
Background. In a recent answer to the question, "Are there examples of statements that have been proven whose consistency ...

**3**

votes

**1**answer

206 views

### ultrafilter characterisation of huge cardinals

A cardinal $\kappa$ is huge iff there is $\lambda>\kappa$ and a $\kappa$-complete normal ultrafilter on
$P_{\leq \kappa}(\lambda)$, or, equivalently, on the set of families of subsets of $\lambda$ ...

**9**

votes

**2**answers

564 views

### Failure of diamond at large cardinals

What is known about the failure of $\Diamond_{\kappa}$ (diamond at $\kappa$) for $\kappa$ (the least) inaccessible, (the least) Mahlo and (the least) weakly compact.
Remark. The problem of forcing ...

**5**

votes

**2**answers

560 views

### Good Books about Large Cardinals

I am very new to set theory and have only learned the basics up to cardinal and ordinal aritmetic. I would like to learn about large cardinals and I am reading Thomas Jech's Set Theory. I have read ...

**7**

votes

**1**answer

727 views

### Do Measurable Cardinals Exist? (assuming ZFC)

In Appendix B of his Uniform Central Limit Theorems (1999), Dudley writes:
It is consistent with the usual axioms of set theory (including the axiom f choice) that there are no measurable ...

**6**

votes

**1**answer

286 views

### Indescribability of cardinals and categoricity of $V_\kappa$

If $\kappa$ is an inaccessible cardinal then $V_\kappa$ is a model of $\sf ZFC_2$ ($\sf ZFC$ with a second-order replacement axiom).
If there are many inaccessible cardinals then there are many ...

**9**

votes

**2**answers

435 views

### Every weakly compact cardinal is Mahlo

This is a reference question. Does anyone know any book or paper that has the proof that every weakly compact cardinal is Mahlo, using only combinatorics?
I know the definition of weak compactness ...

**10**

votes

**1**answer

301 views

### Consistency strength of projective determinacy (PD)

Let PD stand for projective determinacy, and consider the two claims:
(1) For each n=1,2,..., Con(ZFC+PD) implies Con(ZFC + there are n Woodin cardinals)
(2) Con(ZFC+PD) implies Con(ZFC + there are ...

**10**

votes

**1**answer

494 views

### Why does the generalised Galvin-Prikry Theorem only hold at Ramsey cardinals?

The Galvin-Prikry theorem says that Borel sets are Ramsey. This means that for every Borel set $S\subseteq[\omega]^\omega$, there is an $A\in\[\omega]^\omega$ such that either $[A]^\omega \subseteq S$ ...