The large-cardinals tag has no usage guidance.

**3**

votes

**2**answers

601 views

### Set Cardinality Game - Can a player with numbers in R win over a player with numbers in N as each of them in one turn has to present a new number?

Let there be 2 players, p$\mathbb{N}$ and p$\mathbb{R}$. They are playing the Set Cardinality Game where p$\mathbb{N}$ has to present some number n that has not been used in the game so far by either ...

**10**

votes

**4**answers

1k views

### What sort of large cardinal can $\aleph_1$ be without the axiom of choice?

Assuming the axiom of choice it is very easy to see that $\aleph_1$ is a regular Joe of a successor cardinal. It is not very large in any way except the fact that it is the first uncountable cardinal.
...

**17**

votes

**4**answers

1k views

### What are the known implications of “There exists a Reinhardt cardinal” in the theory “ZF + j”?

This is, alas, in large part a series of questions on unpublished work of Hugh Woodin; it's also quite frivolous if Reinhardt cardinals turn out inconsistent.
Definitions:
Call $\kappa$ an ...

**6**

votes

**1**answer

369 views

### GCH+ Kurepa Families

I have a couple of questions about known theorems for GCH+Kurepa families.
Definition first: Let $\kappa$ be a infinite cardinal. A $\kappa^+$ Kurepa family is a family $F$ of subsets of $\kappa^+$ ...

**14**

votes

**2**answers

1k views

### Why does inner model theory need so much descriptive set theory (and vice versa)?

I am curious about how much descriptive set theory is involved in inner model theory.
For instance Shoenfield's absoluteness result is based on the construction of the Shoenfield tree which ...

**13**

votes

**0**answers

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

**12**

votes

**1**answer

888 views

### Large cardinal axiom: everything that happen once must happen an unbounded number of times

I remember reading something about a large cardinal axiom saying something like
If some cardinal $\kappa$ has some property $P$, then there should be a proper class of cardinals with the property ...

**4**

votes

**2**answers

282 views

### End extensions of models which do not preserve axioms

Assuming the axiom of choice there is a neat way defining inaccessible cardinals as uncountable, regular, strong limit cardinals.
Without the axiom of choice we have several notions of ...

**7**

votes

**1**answer

432 views

### Why “adding” a single extender cannot give an L-like inner model for say, a strong cardinal?

The constructible universe $L$ is too thin for large cardinals greater than measurable. To build $L$-like inner models for large cardinal, it is natural to think about "adding" the evidences into the ...

**4**

votes

**1**answer

629 views

### Some questions from the paper “Forcing the failure of CH by adding a real” by Shelah and Woodin

1-Let $P=Add(\omega_1, \kappa)$, and let $D$ be a dense open subset of $P$. Then there is a dense subset $S$ of $D$ such that for every $f \in S$ and any $g \in P$, if $domf=domg$ and the set $\{ ...

**15**

votes

**1**answer

972 views

### Devlin's “Constructibility” as a resource

It is fairly well-known among set-theorists that Keith Devlin's 1984 book "Constructibility" has flaws in its initial development of fine structure theory. (See Lee Stanley's review 1 of the text for ...

**10**

votes

**1**answer

329 views

### Do indiscernibility embeddings exist for an initial segment of an inner model of many measurable cardinals?

Background
I am interested in elementary embeddings from a model of set theory into itself. One way of producing such elementary embeddings is when the model is generated by indiscernibles; this idea ...

**7**

votes

**0**answers

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

**6**

votes

**0**answers

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

**7**

votes

**1**answer

578 views

### Are there large cardinals for $n$-elementarity?

In July, Asaf Karagila asked three questions about elementary substructures of the universe of sets. The latter two were answered, the upshot being that the hypothesis $V_\kappa \prec V$ doesn't alone ...

**6**

votes

**0**answers

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

**6**

votes

**2**answers

444 views

### Characterizing elementary embeddings of $L$ and $L_\alpha$ under 0#

Suppose 0# exists.
It is clear that every order preserving map from the indiscernibles to the indiscernibles gives an elementary embedding from $L$ to $L$. Furthermore, following lemmas 18.7 and 18.8 ...

**17**

votes

**2**answers

3k views

### Recent claim that inaccessibles are inconsistent with ZF

Here it is mentioned that someone claims to have proven that there are no weakly inaccessibles in ZF.
Question 1: What reasons are there to believe that weakly inaccessibles exist?
Question(s) 2: ...

**4**

votes

**2**answers

209 views

### Relation between indiscernibles for $L$ and for $L[A]$

It is known that $L\models 2^\kappa=\kappa^+$, and that for a set of ordinals $A$ we know that $L[A]\models \exists\lambda\forall\kappa>\lambda(2^\kappa=\kappa^+)$.
In this sense, there is some ...

**5**

votes

**2**answers

373 views

### Ultrapowers by normalized ultrafilters

Suppose $j\colon V\to M$ is an elementary embedding and $\kappa$ is the critical point of $j$, then $\kappa$ is measurable, and we can define the ultrafilter $U$ over $\kappa$ as: $$A\in U\iff ...

**3**

votes

**2**answers

254 views

### Dual covering theorem

Jensen's covering theorem states that if $0^\sharp$ doesn't exist, then every uncountable set of ordinals can be covered by a constructible set of the same cardinality.
Now consider the following ...

**10**

votes

**3**answers

869 views

### How elementary can we go?

It is a theorem of A. Levy, if $\kappa$ is an inaccessible cardinal, then $V_\kappa\prec_{\Sigma_1} V$ namely $V_\kappa$ is an elementary submodel when considering only $\Sigma_1$ sentences.
One ...

**10**

votes

**1**answer

387 views

### Consistency strengths related to the perfect set property

I want a model of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ in which every set of reals in $L(\mathbb{R})$ has the perfect set property. In terms of consistency strength, it is known ...

**7**

votes

**1**answer

701 views

### Large cardinals and constructible universe

We know that if $V=L$ holds, then $|\cal{P}(\omega)|=|\cal{P}(\omega)\cap \textrm{L}|=\aleph_1$ whereas, in the presence of a measurable cardinal (in fact, even Ramsey) $|\cal{P}(\omega)\cap ...

**9**

votes

**2**answers

629 views

### Why is this theorem (about $L(P(\omega_1))^V$ and $L(P(\omega_1))^{V[G]}$) nice?

I was recently told that the following (due to M. Viale) is a nice theorem:
Suppose there are arbitrarily large supercompacts, and $\mathrm{MM}$ holds in $V$. Let $G$ be generic for a proper ...

**4**

votes

**1**answer

340 views

### Adding large sets by countable conditions preserving the GCH

Let $\kappa$ be an inaccessible cardinal. Is there any forcing notion $P$ with the following properties:
1-$P$ preserves GCH and the strong inaccessibility of $\kappa$,
2-$P$ adds a subset of ...

**4**

votes

**1**answer

255 views

### $< \aleph_1-$support Product of Cohen forcings

Suppose $\kappa$ is an inaccessible cardinal, and let $P$ be the $< \aleph_1-$support product of $Add(\alpha^{++}, 1)$ for singular cardinals $\alpha < \kappa.$
1- Does this forcing preserve ...

**11**

votes

**4**answers

773 views

### Is there a least-fixed-point formulation of inaccessible cardinals?

The infinity axiom can be formulated by defining a function $S$ as
$$S(N) = \{0\} \cup \{n+1\\ |\\ n \in N\}$$
(FWIW, I'm assuming the von Neumann ordinals.) The axiom is then
$$\exists I . I = ...

**15**

votes

**3**answers

837 views

### Questions about $\aleph_1-$closed forcing notions

"Foreman`s maximality principle" states that every non-trivial forcing notion either adds a real or collapses some cardinals. This principle has many consequences including:
1) $GCH$ fails ...

**4**

votes

**1**answer

446 views

### If $0^{\sharp}$ exists, then every uncountable cardinal in $V$ is as large as it can be in $L$.

According to Wikipedia, if $0^{\sharp}$ exists, then every uncountable cardinal in $V$ satisfies every large cardinal property in $L$ that can be realized in $L$, e.g. weak compactness, total ...

**5**

votes

**1**answer

319 views

### Does a generic normal measure extend the club filter?

This question is related to this one. The setup is as follows:
In $V$, $\kappa$ is supercompact and $\mathbb{P} = \mathrm{Coll}(\kappa, \aleph_2)$ is the Levy collapse. $G$ is $(V,P)$-generic, and ...

**4**

votes

**1**answer

304 views

### Normal measures on $P_{\kappa }(\lambda )$ extend the club filter

This is (a variation on) exercise 20.4 in Jech's "Set Theory." Let $j : V \to M$ witness $\lambda$-supercompactness of $\kappa$, and consider the normal measure $U$ on $P_{\kappa}(\lambda)$ ...

**7**

votes

**2**answers

586 views

### What is the consistency strength of the failure of square, in terms of large cardinals

In Jech one can find a lower bound for the consistency strength of PFA in terms of large cardinals. I don't have my copy of Jech in front of me at the moment, but as I recall the presentation of this ...

**6**

votes

**1**answer

582 views

### Nonstandard models of PA of large cardinal size

It is easy to overlook the fact that the existence of a given large cardinal provides us with a true arithmetical statement that would otherwise be false if the large cardinal notion were not ...

**4**

votes

**3**answers

1k views

### Nonessential use of large cardinals

In Awfully sophisticated proof for simple facts, we are asked for examples of complex proofs of simple results. To quote from the questioner's post, we are asked for proofs that are akin to "nuking ...

**8**

votes

**2**answers

732 views

### failure of $\square(\kappa)$ at an inaccessible $\kappa$

How can we force the failure of $\square(\kappa)$ at an inaccessible $\kappa$, where
$\square(\kappa)$ is defined as follows: There is a sequence $(C_i:i< \kappa)$ such that:
(1) $C_{i+1} = ...

**6**

votes

**1**answer

259 views

### What does the partially ordered class of cardinals look like in L(R)?

Assuming the existence of enough large cardinals (I'm not sure whether I mean in the original V or in L(R), do whatever is standard), is the partially ordered class of cardinals order-isomorphic to ...

**12**

votes

**1**answer

628 views

### Can Vopenka's principle be violated definably?

One form of Vopenka's principle (a large cardinal axiom) states that no locally presentable category contains a full subcategory which is large (= a proper class) and discrete (= contains no ...

**11**

votes

**1**answer

1k views

### Aleph 0 as a large cardinal

The first infinite cardinal, $\aleph_0$, has many large cardinal properties (or would have many large cardinal properties if not deliberately excluded). For example, if you do not impose ...

**1**

vote

**3**answers

1k views

### Large Cardinals Imply a Model of ZFC

I've run across the statement, "The existence of a strongly inaccessible cardinal implies the consistency of ZFC" in several places (Cohen's Set Theory and the Continuum Hypothesis p. 80, for one). ...

**18**

votes

**2**answers

2k views

### Should there be a true model of set theory?

As I understand it, there is a program in set theory to produce an ultimate, canonical model of set theory which, among other things, positively answers the Continuum Hypothesis and various questions ...

**3**

votes

**1**answer

431 views

### Strong Cardinals and Supercompact Cardinals

This is exercise 20.5 out of Jech:
Let $\lambda \geq \kappa$ and let $U$ be a normal measure on $P_{\kappa}(\lambda)$. The ultraproduct $\mathrm{Ult} _U \{ (V _{\lambda _x},\in) : x \in P ...

**34**

votes

**7**answers

6k views

### Arguments against large cardinals

I started to learn about large cardinals a while ago, and I read that the existence, and even the consistency of the existence of an inaccessible cardinal, i.e. a limit cardinal which is additionally ...

**1**

vote

**3**answers

372 views

### Normal measures and Elementary Embeddings

This is a question from Jech's Set Theory (Ex. 17.12) which I'm reading at the moment and pretty much stuck on.
If $D$ is a normal measure on $\kappa$
and $\{ \aleph_\alpha \colon
> ...

**3**

votes

**1**answer

465 views

### Question about John Steel's “The derived model theorem”

In John Steel's paper "The derived model theorem",
http://math.berkeley.edu/~steel/papers/dm.ps
John Steel asserts that it is clear that $\mathrm{Hom}^{Y}_{\kappa}$ is closed downward under ...

**5**

votes

**2**answers

597 views

### Vopenka's Principle at Small Cardinals

I'm trying to understand Vopěnka's Principle, which is a large cardinal axiom. One version of the principle is that there does not exist a proper class of directed graphs such that there are no ...

**9**

votes

**2**answers

1k views

### Large cardinals

Looking at the chart of cardinals in Kanamori's book, one realizes that all large cardinals are implied by stronger ones and imply weaker ones. For instance measurable implies Jonsson which implies ...

**7**

votes

**5**answers

787 views

### Measurable cardinals under Axiom of Determinacy

I seem to remember reading somewhere that ZF+AD proves that omega-1 and omega-2 are measurable cardinals.
Is that right?
If so, can someone [point me to or give here] a [sketch or proof] of these ...

**6**

votes

**3**answers

863 views

### Tractability of forcing-invariant statements under large cardinals

It is usual to mention theorems of the kind:
Th. Assume there is a proper class of Woodin cardinals, $\mathbb{P} $ is a partial order and $G \subseteq \mathbb{P}$ is V-generic, then $V \models \phi ...

**19**

votes

**6**answers

2k views

### Reasons to believe Vopenka's principle/huge cardinals are consistent

There are a number of informal heuristic arguments for the consistency of ZFC, enough that I am happy enough to believe that ZFC is consistent. This is true for even some of the more tame large ...