The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
231 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
267 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
373 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 ...
15
votes
2answers
761 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
228 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
0answers
413 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
171 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
557 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
199 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$ ...
10
votes
2answers
520 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
2answers
496 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
606 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
277 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
415 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
268 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
477 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
702 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
426 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
664 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
291 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 ...
6
votes
2answers
374 views

Partition relation, almost a Ramsey cardinal?

Is it consistent with ZFC to have a cardinal $\kappa$ which is not Ramsey and $\kappa \rightarrow [\kappa]^{<\omega}_{\omega,n}$ holds for some $n\in \omega$? The partition relation $\kappa ...
7
votes
1answer
387 views

More on Kunen's inconsistency result

I would like to suggest another argument for Kunen's inconsistency result, and I wonder to know if the argument is correct. I am also interested to see, if the proof is correct, which part of the ...
2
votes
1answer
471 views

Surreal numbers and large cardinals

This is a question in two parts about the interaction of surreal numbers and large cardinals, in both cases just a request for references on the subject. Part 1 is about foundations. Much of the ...
4
votes
1answer
260 views

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

Is anything known about the consistency strength of the following statement? $\kappa$ is a Mahlo cardinal and there is a stationary set of $a \in \mathcal{P}_\kappa(\kappa^+)$ such that $a \cap ...
7
votes
1answer
267 views

Applications of higher-order reflection principles

Let $L_3$ be the third-order language of set theory with identity on the first sort. Variables $x$ are first-order, $y$ are second-order, and $z$ are third-order. In the style of Lévy and Bernays, we ...
5
votes
1answer
227 views

Consistency of many Erdos cardinals

Does anyone have a reference for the consistency strength of saying that the Erdos cardinal $\kappa(\alpha)$ exists for all $\alpha$? Or of various weakenings about how far such cardinals extend into ...
4
votes
1answer
315 views

Models of Determinacy

Today we have that $L(\mathbb{R}) \models AD$ (assuming there are $\omega$ many Woodin cardinals and a measurable above them all). I was wondering what other models of $AD$ might look like and if it ...
4
votes
1answer
152 views

$\omega$-small and properly small premice.

Let $\mathcal M$ be a premouse. $\mathcal M$ is said to be $\omega$-small if and only if whenever we have that $\kappa=crit(E)$ for some extender $E$ on the sequence of $\mathcal M$, then $\mathcal ...
5
votes
1answer
157 views

Versions of large cardinals with target model in a generic extension

(I ran into this question while thinking about the (Strong) Inner Model Hypothesis: see http://www.jstor.org/stable/4093051 or http://arxiv.org/abs/0711.0680.) A measurable cardinal is a cardinal ...
5
votes
3answers
308 views

A question about Mitchell/Steel Fine Structure and Iteration Trees

In chapter 8 of Mitchell's and Steel's FSIT, they prove a central fine structural result, which basically states that if $\mathcal{M}$ is 1-small, $k$-sound, $k$-iterable premouse then the ...
9
votes
2answers
558 views

Kunen's inconsistency result

A well-known result of Kunen says that there is no non-trivial elementary embedding $j: V \rightarrow V.$ There are several proofs of this theorem (see Kanamori, The higher infinite). I wonder to know ...
7
votes
2answers
419 views

What can the degrees of constructibility be?

If $r, s\in\mathbb{R}$, we say $r$ is constructible relative to $s$ - and write $r\le_cs$ - if $r\in L[s]$. Modding out by the induced equivalence relation $\equiv_c$, we get a partial order, the ...
9
votes
1answer
308 views

Homogeneous Namba-like forcing

Let $\kappa \ge \aleph_3$ be a regular cardinal that is countably closed ($\alpha^\omega < \kappa$ for every $\alpha < \kappa$.) I'm mostly interested in the case that $\kappa$ is strongly ...
8
votes
1answer
272 views

Elementary Embeddings and Relative Constructibility

Suppose $$j:M\prec N$$ is a non-trivial elementary embedding. Under what conditions on the sets (classes?) $M$ and $N$ (or even the critical point of $j$) does $j$ extend to an elementary embedding ...
4
votes
1answer
340 views

if k is weakly inaccessible, then it is the k-th aleph fixed point

A cardinal $\kappa$ is weakly inaccessible iff $\kappa > \omega$, $\kappa$ is regular, and $\forall\lambda<\kappa(\lambda^+<\kappa)$ (here $\lambda^+$ is the successor cardinal) A cardinal ...
4
votes
1answer
201 views

Extending complete filters

Suppose $\kappa$ is a measurable cardinal and let $\mathcal{F}\subset\wp(\kappa)$ be a $\kappa$-complete non-principal filter. Can we extend $\mathcal{F}$ to a $\kappa$-complete ultrafilter? My ...
6
votes
1answer
165 views

$\Delta^1_2$-well ordering vs $\Delta^1_3$

It is a classical result that if $0^{\sharp}$ exists, then there is a model of $ZFC$ in which there is a $\Delta^1_3$ well ordering of reals but no $\Delta^1_2$-well ordering. My question is: Is ...
4
votes
1answer
167 views

Two complementing consequences of supercompactness

I would like to know if the following two consequences of having a supercompact cardinal are orthogonal: 1) On one hand being supercompact is equivalent to being "A ineffable for all A" ...
7
votes
2answers
283 views

Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

If $\kappa$ is an inaccessible cardinal then the tree property at $\kappa$ is equivalent to weak compactness of $\kappa$, which implies that $\square(\kappa)$ fails---that is, that every coherent ...
13
votes
2answers
637 views

Can measures be added by forcing?

The Lévy-Solovay theorem says that small forcings do not create measures. J.D. Hamkins has generalized this to a larger class of forcings called gap forcings. I would assume this cannot be ...
7
votes
1answer
318 views

A question about the comparability of large cardinals.

Are there any examples of two large cardinal axioms $AX$ and $AY$, in the language of first order $ZFC$, which satisfy the following conditions. Each of them defines a unique cardinal number - ...
2
votes
0answers
346 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 ...
3
votes
0answers
232 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 ...
11
votes
1answer
415 views

Generic Extensions and $L(V_{\lambda+1})$

Suppose $\lambda$ is a strong limit cardinal of cofinality $\omega$ and for $A$ a transitive set, define $L(A)$ in the usual fashion by setting $$L_0(A)=A;$$ $$L_{\alpha+1}(A) = L_\alpha (A)\cup ...
2
votes
0answers
194 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, ...
8
votes
1answer
369 views

Can $\omega_1$ be supercompact?

Is "ZF + $\omega_1$ is supercompact" consistent relative to "ZFC + there is a supercompact cardinal"? In particular, if $\delta$ is supercompact, does it remain so in $V(\mathbb{R} \cap V[G])$ where ...
12
votes
1answer
925 views

What's the difference between ZFC+Grothendieck, ZFC+inaccessible cardinals and Tarski-Grothendieck set theory?

Say that "U" is the axiom that "For each set x, there exists a Grothendieck universe U such that x $\in$ U", where Grothendieck universes are defined in the usual way (or, if that's unclear, in this ...
5
votes
2answers
272 views

Measures that are not OD

Is anything known about the consistency strength of the statement: "There is a normal measure (on a cardinal) that is not ordinal-definable"? In particular, is it consistent relative to the ...
20
votes
2answers
873 views

Can there be an embedding j:V to L, from the set-theoretic universe V to the constructible universe L, when V not= L?

Main Question. Can there be an embedding $j:V\to L$ of the set-theoretic universe $V$ to the constructible universe $L$, if $V\neq L$? By embedding here, I mean merely a proper class isomorphism from ...
4
votes
2answers
705 views

Large cardinals without the ambient set theory?

In an attempt to understand a bit better large cardinals, I have been thinking along the following lines, which could be summarized under the slogan Talk about cardinals without the (ambient) ...