The large-cardinals tag has no usage guidance.

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

**17**

votes

**2**answers

3k views

### Large cardinal axioms and Grothendieck universes

A cardinal $\lambda$ is weakly inaccessible, iff a. it is regular (i.e. a set of cardinality $\lambda$ can't be represented as a union of sets of cardinality $<\lambda$ indexed by a set of ...

**6**

votes

**3**answers

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

**14**

votes

**3**answers

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

**16**

votes

**1**answer

1k views

### Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)

Gödel's constructible universe ($L$) is defined using definable power set operator in first order logic ($\mathcal{L}_{\omega ,\omega}$). One can produce such a universe in infinitary logics in ...

**10**

votes

**3**answers

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

**8**

votes

**5**answers

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

**23**

votes

**4**answers

1k views

### What is the definition of a large cardinal axiom?

In different books one can find different implicit definitions for a large cardinal axiom.
My question is that which one of these definitions are more popular or standard amongst set theorists?
Any ...

**15**

votes

**3**answers

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

**9**

votes

**1**answer

351 views

### Inner model in which every uncountable cardinal is large

The following is known:
$(*)$ If $0^\sharp$ exists, then any uncountable cardinal is is an inaccessible cardinal (and even more) in $L$.
My question is that:
Are there any large cardinal ...

**12**

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

**6**

votes

**0**answers

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

**11**

votes

**2**answers

680 views

### Questions about Prikry forcing and Cohen forcing

I have some questions.
The first one is about the product of Prikry's forcing.
Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...

**8**

votes

**2**answers

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

**10**

votes

**2**answers

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

**6**

votes

**0**answers

216 views

### Does Sageev's result need an inaccessible?

In 1981, building on work by Ellentuck in 1974, Sageev showed ("A model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic," ...

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

**18**

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

**15**

votes

**2**answers

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

**10**

votes

**2**answers

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

**13**

votes

**2**answers

922 views

### When does Vopěnka's principle hold?

Vopěnka's principle (VP) is the statement that, given any proper class $\{\mathcal{A}_\eta: \eta\in ON\}$ of first-order structures in the same language, there are some $\alpha\not=\beta$ with ...

**12**

votes

**3**answers

753 views

### Complete resolutions of GCH

Let's say that a "complete resolution of GCH" is a definable class function $F: \operatorname{Ord}\longrightarrow \operatorname{ Ord}$ such that $2^{\aleph_\alpha} = \aleph_{F(\alpha)}$ for all ...

**12**

votes

**1**answer

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

**9**

votes

**4**answers

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

**9**

votes

**4**answers

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

**6**

votes

**1**answer

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

**12**

votes

**1**answer

430 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}+$ ...

**12**

votes

**1**answer

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

**11**

votes

**1**answer

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

**8**

votes

**2**answers

704 views

### Model of ZF + $\neg$C in which Solovay's Theorem on stationary sets fails?

It is a theorem of Solovay that any stationary subset of a regular cardinal, $\kappa$ can be decomposed into a disjoint union of $\kappa$ many disjoint stationary sets. As far as I know, the proof ...

**7**

votes

**1**answer

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

**7**

votes

**1**answer

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

**8**

votes

**3**answers

661 views

### Very Large Cardinal Axioms and Continuum Hypothesis

Are very large cardinal axioms like $I_0$, $I_1$, $I_2$ consistent with $CH$ and $GCH$?

**7**

votes

**2**answers

309 views

### Large cardinal consistency strength and size

My understanding is that large cardinals are ordered by "consistency strength", but how does this correlate with their size (cardinality)?
More specifically, are there any systematic results on the ...

**7**

votes

**1**answer

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

**6**

votes

**1**answer

377 views

### Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...

**6**

votes

**1**answer

248 views

### On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...

**6**

votes

**1**answer

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

**5**

votes

**0**answers

309 views

### Is there any elementary embedding characterization for $\Pi_{1}^{1}$ - reflecting cardinals?

Similar to one of the characterizations of weakly compact cardinals, a $\Pi_{1}^{1}$ - reflecting cardinal is defined as follows:
A cardinal $\kappa$ is $\Pi_{1}^{1}$ - reflecting if $\kappa$ is ...

**5**

votes

**1**answer

167 views

### Covering properties of strongly compact embedding

Let $\kappa$ be a $\mu$-strongly compact cardinal, which means that there is an elementary embedding $j:V\rightarrow M$, with critical point $\kappa$ such that $M$ is well founded (even closed under ...

**4**

votes

**1**answer

222 views

### $\text{ZFGC}^{\text{−f}}+\text{BAFA}+\exists\kappa(κ \text{ is Reinhardt})$ and its implication

A. S. Daghighi, M. Golshani, J. D. Hamkins, and E. Jeřábek proved in "The foundation axiom and elementary self-embeddings of the universe" that, working in ZFGC$^{\text{−f}}$+BAFA, there are ...

**14**

votes

**3**answers

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

**12**

votes

**2**answers

304 views

### Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...

**11**

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

**10**

votes

**0**answers

233 views

### Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident.
Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...

**8**

votes

**1**answer

232 views

### Erdős cardinals and $0^\sharp$

It is well-known that if the Erdős cardinal $\kappa(\omega_1)$ exists, then $0^\sharp$ exists, but what if $\kappa(\lambda)$ exists for a limit ordinal $\omega_1^L\leq \lambda<\omega_1$? Does this ...

**7**

votes

**1**answer

381 views

### Explicit counter example to Vopěnka's principle in the constructible universe?

Vopěnka's principle is a large cardinal axiom which has many equivalent formulations. One of them, which I find especially appealing, is the following: if the universe is satisfies Vopěnka's principle ...

**5**

votes

**1**answer

235 views

### Is there a large-cardinal completeness theorem for $L$?

I cannot currently find the original, but if memory serves, Goedel once speculated that there might be a "large-cardinal completeness theorem for $V.$" This theorem would state:
*Theorem. For every ...

**5**

votes

**2**answers

231 views

### Can we have a $\kappa$-Suslin tree where $\kappa$ is above a measurable cardinal?

Question: Can we have a set theory in which there exists a $\kappa$-Suslin tree with $\kappa$ larger than the least measurable cardinal?
A $\kappa$-Suslin tree is a tree with levels indexed by ...

**4**

votes

**1**answer

147 views

### presaturated ideals

In this paper, Gitik and Shelah make the following claim (part of Proposition 1.5):
Claim (Gitik-Shelah): Suppose $\kappa < \lambda$ are regular, $2^\lambda = \lambda^+$, and $D$ is a normal ...