The large-cardinals tag has no wiki summary.

**12**

votes

**1**answer

409 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

386 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

221 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

267 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

366 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

207 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

482 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

201 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

389 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

233 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

216 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

271 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

231 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

218 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

335 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

184 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

180 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

580 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

545 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

206 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

270 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

357 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

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

**20**

votes

**0**answers

679 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

248 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

253 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

279 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

409 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

784 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

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

**11**

votes

**0**answers

424 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

184 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

595 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

204 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

560 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

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

**6**

votes

**1**answer

704 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

282 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

428 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

296 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

492 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$ ...

**9**

votes

**4**answers

777 views

### On the large cardinals foundations of categories

(This question was posted on math.SE over two weeks ago, but received no answer. I am therefore posting it here as well.)
It is well-known that there are difficulties in developing basic category ...

**10**

votes

**1**answer

444 views

### Forcing mildly over a worldly cardinal.

A cardinal $\theta$ is worldly if $V_{\theta}$ is a model of ZFC. We could force to collapse $\theta$ to a successor cardinal, for example, and destroy the worldliness of $\theta$, but is there a ...

**29**

votes

**2**answers

928 views

### Does an existence of large cardinals have implications in number theory or combinatorics?

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any ...