The large-cardinals tag has no wiki summary.

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

**34**

votes

**3**answers

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

**27**

votes

**3**answers

1k views

### Latest stand of core model theory?

What is the "strongest" core model to this day? In particular, how far are we from a core model for supercompact cardinals? There are rumors of some notes from a workshop in 2004:
...

**22**

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

**21**

votes

**0**answers

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

**21**

votes

**0**answers

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

**20**

votes

**2**answers

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

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

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

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

**17**

votes

**2**answers

1k views

### Philosophical arguments in defense (or against) large cardinals

The question is essentially what is asked in the title. I split it into two parts
(A) (Arguments supporting the existence of large cardinals) What are the main philosophical arguments in defense ...

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

**17**

votes

**1**answer

713 views

### Logical endofunctors of Set?

What set-theoretic assumptions are necessary and sufficient to ensure the existence of a nontrivial (i.e. not isomorphic to the identity) endofunctor of the category Set which is logical (i.e. ...

**16**

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

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

**15**

votes

**3**answers

1k views

### Any paradoxical theorems arising from large cardinal axioms?

If we accept the axiom of choice, we take the responsibility of living in a world in which, e.g., a ball in Euclidean 3-space is equiscindable to two isometric copies of itself (Banach-Tarski). So we ...

**15**

votes

**1**answer

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

**15**

votes

**3**answers

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

**15**

votes

**1**answer

438 views

### Whatever happened to $L(j)$?

So this question probably shows my inner model theoretic ignorance, but:
In "Two remarks on elementary embeddings of the universe" (http://projecteuclid.org/download/pdf_1/euclid.pjm/1102969567), ...

**15**

votes

**0**answers

607 views

### Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$.
In this question I would like ...

**14**

votes

**6**answers

2k views

### What “forces” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...

**14**

votes

**4**answers

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

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

**14**

votes

**3**answers

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

**14**

votes

**2**answers

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

**13**

votes

**2**answers

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

**13**

votes

**3**answers

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

**13**

votes

**2**answers

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

**13**

votes

**1**answer

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

**13**

votes

**0**answers

390 views

### Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem:
Theorem. Assuming the consistency of infinitely many strong cardinals, one ...

**13**

votes

**0**answers

391 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

**2**answers

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

**12**

votes

**3**answers

699 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

413 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

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

**12**

votes

**1**answer

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

**12**

votes

**1**answer

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

**11**

votes

**4**answers

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

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

**11**

votes

**1**answer

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

**11**

votes

**1**answer

335 views

### What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?

It is well-known that an uncountable regular cardinal $\kappa$ is strongly compact if and only if every $\kappa$-complete filter on any set extends to a $\kappa$-complete ultrafilter on that set. The ...

**11**

votes

**1**answer

354 views

### What are the current views on consistency of Reinhardt cardinals without AC?

It's well known that Reinhardt cardinals are inconsistent, provided that we have access to axiom of choice, but, as far as I know, we are clueless about this when we don't assume choice. For me, the ...

**11**

votes

**1**answer

612 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

306 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**11**

votes

**0**answers

182 views

### Adding a saturated ideal

Is it consistent that there is no $\omega_2$-saturated ideal on $\omega_1$, but one is introduced by an $\omega_2$-closed forcing?

**11**

votes

**0**answers

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

**11**

votes

**0**answers

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

**10**

votes

**2**answers

427 views

### Is there a compendium of the consistency strength between the most important formal theories?

Preliminar Notions:
A formal system is a tuple $(\Sigma,G,A,R)$ where $\Sigma$ is an alphabet (set of symbols), $G$ is a formal grammar on $\Sigma$ that generates a formal language $L$ (set of well ...

**10**

votes

**3**answers

861 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

**2**answers

640 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}, ...