The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
1answer
345 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
1answer
216 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
1answer
255 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
1answer
341 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
2answers
183 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
2answers
424 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
4answers
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
0answers
143 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 ...
8
votes
0answers
160 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
2answers
356 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
1answer
170 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 ...
6
votes
1answer
194 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
1answer
188 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
4answers
245 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$. ...
6
votes
1answer
218 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
1answer
196 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
1answer
320 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 ...
5
votes
1answer
166 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
1answer
169 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
1answer
177 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 ‎the‎n the corresponding inner model produced by ...
2
votes
1answer
194 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 ...
11
votes
4answers
533 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 ...
13
votes
2answers
433 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
1answer
193 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
1answer
140 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
1answer
251 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
1answer
313 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
1answer
650 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
0answers
622 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 ...
10
votes
0answers
201 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
1answer
219 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
2answers
260 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
3answers
359 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 ...
16
votes
2answers
719 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 ...
3
votes
1answer
220 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 ...
13
votes
0answers
396 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 ...
2
votes
2answers
168 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
2answers
526 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
1answer
194 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
2answers
343 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.
4
votes
0answers
356 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
1answer
499 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
1answer
272 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
2answers
402 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
1answer
242 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
1answer
462 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
4answers
680 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
1answer
413 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 ...
22
votes
1answer
634 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 ...
5
votes
2answers
278 views

The Kunen inconsistency and definable classes

There is a tension between (1) interpreting proper class talk in set theory as talk about first-order formulas and satisfaction; and (2) taking it to be an interesting and non-trivial result that ...