The large-cardinals tag has no wiki summary.

**5**

votes

**1**answer

425 views

### An Extender is a Generalization of an Ultrafilter?

I'm not sure whether this belongs here or on math stackexchange, but I'll give a try here.
I've heard that an extender is a generalization of an ultrafilter. This is not to say that an ultrafilter ...

**6**

votes

**1**answer

313 views

### Vopenka's Theorem on L(A) and Large Cardinals from Weaker Assumptions?

I know that sometime ago Vopenka proved this:
Theorem: Assume there is a strongly compact cardinal. Then for any set $A$, $V \neq L(A)$.
Can we get by with a consistency-wise strictly weaker ...

**19**

votes

**0**answers

736 views

### Supercompact and Reinhardt cardinals without choice

A friend of mine and I ran into the following question while reading about proper forcing, and have been unable to resolve it:
Definition. A cardinal $\kappa$ is supercompact if for all ordinals ...

**9**

votes

**1**answer

340 views

### What can we learn about an elementary embedding from the image of the ordinals?

If $j : V \rightarrow M$ is an elementary embedding, what can we learn in $M$ from $j''ORD$? That is, what is $M[j''ORD]$?
In particular,
Is it $M[j''ORD]$ equal to all of $V$?
If not, do we ...

**3**

votes

**0**answers

246 views

### On Successive Regular Cardinals With No Ladders

Definition: Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a ladder if every $f_\alpha$ is injective.
Equivalently this is ...

**3**

votes

**2**answers

580 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

**3**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.
...

**16**

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

358 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 needs 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

376 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

851 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

280 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

399 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

602 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 $\{ ...

**13**

votes

**1**answer

874 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

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

**5**

votes

**0**answers

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

**7**

votes

**0**answers

424 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

545 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

271 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

434 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

191 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

362 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

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

**9**

votes

**3**answers

797 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

361 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

677 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

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

**5**

votes

**1**answer

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

**3**

votes

**1**answer

245 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

723 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 = ...

**14**

votes

**2**answers

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

**3**

votes

**1**answer

422 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

308 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

300 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

573 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

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

**7**

votes

**2**answers

706 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

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

**11**

votes

**1**answer

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

**7**

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

**14**

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

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

**31**

votes

**7**answers

5k 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

368 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

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