Large cardinals are such cardinals whose existence cannot be proved within ZFC, and requires stronger axioms to be added to ZFC, they are often used to measure the consistency strength of a certain statement in the language of set theory.

learn more… | top users | synonyms

3
votes
0answers
77 views

Many $(\kappa+\alpha)$-strong cardinals below a $(\kappa+\beta)$-strong one for $\alpha < \beta < \kappa$

Let $\lambda$ be an ordinal. A cardinal $\kappa$ is $\lambda$-strong iff there is some inner model $M$ and an elementary embedding $$ j \colon V \rightarrow M $$ s.t. $crit(j) = \kappa$ and $V_\lambda ...
5
votes
1answer
88 views

Ramsey Combinatorics and linear order

Prove that the following are equivalent for an infinite cardinal $\kappa$. (1) $\kappa \to (\kappa)^2_2$ (2) In any linearly ordered set of cardinality $\kappa$ there is either a well-ordered or a ...
2
votes
1answer
46 views

ZF and the Existence of Finitely additive measure on $\mathcal{P}(\mathbb{R})$

My understanding is that Solovay (1970)'s relative consistency shows that if ZFC+I has a model then ZF+DC has a model in which every subset of the reals is Lebesgue measurable (and hence ...
4
votes
1answer
112 views

What is wrong with this “proof” that there is no $\omega$th inaccessible cardinal?

"Theorem": There is no $\omega$th inaccessible cardinal. "Proof": Assume ZFC. Let $\kappa_n$ be the $n$-th inaccessible cardinal; since $V_\kappa$ is a model of ZFC for inaccessible $\kappa$, ...
1
vote
0answers
107 views

How can nontrivial elementary embeddings of the universe to some inner model be surjective?

Consider $\kappa$ to the least measurable cardinal, or equivalently $\kappa$ is the critical point for an elementary embedding $j:V \rightarrow M$ from the universe $V$ to an inner model $M$ (critical ...
0
votes
1answer
107 views

Breaking the AC barrier using Kelley-Morse set theory

In her blog post Variants of Kelley-Morse set theory, Prof. Gitman proves that every model of the the common version of Kelley-Morse set theory ($\mathsf{KM}$) is a model of the Wikipedia version of ...
2
votes
1answer
107 views

Why does a nontrivial $V \to V$ have a critical point?

Let $V$ denote the von Neumann universe, and let $j: V \to V$ be a nontrivial (non-identity) elementary embedding. The critical point is the smallest $\kappa$ such that $j(\kappa) > \kappa$. The ...
2
votes
1answer
92 views

Why isn't second-order ZFC categorical?

This builds off of (and reuses some of the examples from) this question about failures of categoricity not related to size. Second-order $\mathsf{ZFC}$ isn't categorical, but it's almost-categorical, ...
3
votes
1answer
59 views

Replacing an ordinal with its cardinality in a partition relation

In The Higher Infinite, Kanamori claims that if $\alpha$ is a cardinal, and $\beta \to (\alpha)^\gamma_\delta$ for some $\beta$, then the least such $\beta$ is a cardinal. I can't seem to think of a ...
1
vote
0answers
134 views

Choice-less Set Theory for Dummies

In almost every graduate set theory text there are some parts about equivalences of $AC$, its consequences, some axioms like $AD$ which imply $\neg AC$, some well-known axiomatic systems which $AC$ ...
3
votes
1answer
82 views

Trouble understanding elementary embedding proofs

Here are two pretty standard results about elementary embeddings that I don't understand. (1) Let $\pi:V \to M$ be a non-trivial elementary embedding with $M$ a transitive class. Let ...
3
votes
2answers
112 views

How does Ulam's argument about large cardinals work?

I am looking for either a reference, a proof, or a suitable proof sketch that can explain Ulam's original argument about measure theory and measurable cardinals. Here is the result I am looking for: ...
0
votes
0answers
73 views

Choice-like axioms close to AC & rank-into-rank hypothesizes

Consider the following folklore theorems within ZF, Theorem 1: $V=L$ implies "$0^{\sharp}$ doesn't exist". Theorem 2: $V=L[U]$ implies "$0^{\dagger}$ doesn't exist". Theorem 3: $AC$ ...
4
votes
0answers
117 views

A question regarding a paper of M. Magidor [closed]

I am interested in the following paper of M. Magidor: "On the role of supercompact and extendible cardinals in logic", Israel Journal of Mathematics, 05/1971; 10(2): 147-157. The abstract (which I ...
1
vote
1answer
135 views

2 Questions regarding Relative Consistency Proofs

First Question: Let IC be the statement "There is an inaccessible cardinal." I have read that one cannot prove (in ZFC) the relative consistency of ZFC + IC w.r.t. ZFC. i.e. $ Con(ZFC) \rightarrow ...
3
votes
0answers
115 views

On the contradictory nature of large cardinals & choice-like axioms

Compare these two results: Theorem (Scott): $ZFC+V=L\vdash \nexists~\text{Measurable cardinal}$ Theorem (Kunen): $ZFC+AC\vdash \nexists~\text{Reinhardt cardinal}$ Now compare these two ...
2
votes
1answer
127 views

Are there axioms for $\mathrm{ZFC}$ that imply that $\aleph_1$ is very large?

A bit of philosophy: under the usual definition of the aleph numbers, ZFC proves the sentence "$\aleph_1$ is an ordinal." However, in some sense $\aleph_1$ isn't really an ordinal (in my opinion), ...
2
votes
0answers
48 views

Do large cardinal properties tend to be semiabsolute?

I don't know much about large cardinals; so, I want to get a feeling of the landscape. Hence this question. Definition. Whenever $C$ is a unary predicate in the language of ZFC, let us call $C$ ...
2
votes
0answers
80 views

Inaccessible Cardinals and Grothendieck Universes

I'm trying to prove that the following statements are equivalent: 1.$\forall\alpha\in\mathbb{ON}\ \exists\ \kappa>\alpha$ is an inaccessible cardinal. 2.$\forall x\ \exists\ U\ x\in U$ and $U$ is ...
0
votes
0answers
42 views

Applications of Infinitary Matrices in Set Theory

Matrices have a natural generalization to infinitary context. There are few known applications of such matrices in set theory. For example one may use Ulam matrices to show that real-valued measurable ...
2
votes
0answers
45 views

Is the following notion equivalent to subtle cardinals?

Let $\kappa$ be a regular, uncountable cardinal. We call $\kappa$ $\dagger$ if for every sequence $(A_\alpha \colon \alpha < \kappa)$, $A_\alpha \subseteq \alpha$ and every $\xi_0 < \kappa$ ...
2
votes
0answers
67 views

Is there any inconsistent large cardinal axiom which its inconsistency proof is essentially different from proof of Kunen inconsisteny theorem?

There is a long list of large cardinal axioms. Most of them deemed to be consistent with ZFC but there are also some axioms like existence of Reinhardt or $\omega$-huge cardinals which are natural ...
2
votes
1answer
127 views

How large is an uncountable regular cardinal which is closed under arbitrary fast operators?

Let $Card$ be the proper class of all cardinals, define an infinite set of operators like $\otimes_{n}:(Card\setminus \omega)\times (Card\setminus\{0\})\longrightarrow Card$ which are defined for each ...
3
votes
1answer
82 views

$\kappa$ ineffable $\Rightarrow$ $\kappa$ tree-property

Let $\kappa$ be an uncountable, regular cardinal. We call $\kappa$ ineffable iff for every sequence $(A_\xi \colon \xi < \kappa)$ of subsets $A_\xi \subseteq \xi$ there is a stationary subset $S ...
3
votes
0answers
51 views

Is there any filter space characterization for strong cardinals?

The theory of filter spaces is introduced by Apter, Diprisco, Henle & Zwicker, in their joint paper: Arthur Apter, Carlos Di Prisco, James Henle, and William Zwicker, Filter spaces: towards a ...
7
votes
1answer
155 views

Consistency strength of the “club ultrafilter”

What are the consistency strengths of $$ZF+``\text{The club filter on $\omega_1$ is an ultrafilter}"$$ and $$ZF + DC + ``\text{The club filter on $\omega_1$ is an ultrafilter}"?$$ I know that the ...
3
votes
0answers
89 views

Strange Consequences of Large Cardinals in Probability

Large cardinal axioms are very strong hypothesizes and as any other strong hypothesis they have many strange consequences in mathematics. On the other hand we know that if we bring even the least ...
1
vote
0answers
41 views

Is it true that each large cardinal which is not first order expressible has no extender characterization?

It is well-known that Reinhardt cardinal (i.e. The critical point of a non-trivial self-elementary embedding of the universe in $ZF$) is not first order expressible. Does this imply that Reinhardt ...
0
votes
1answer
88 views

ineffable, weakly compact, and ? cardinal

In the online book, page 312, http://projecteuclid.org/download/pdf_1/euclid.pl/1235419485 what cardinal notion do we get, by requireing that X in the bottom of the page, is not only stationary ...
2
votes
0answers
95 views

Kanamori's proof that Vopenka's principle implies the existence of extendibles.

In The Higher Infinite, Kanamori gives a proof that Vopenka's principle implies the existence of (many) extendibles. The relevant theorem is Proposition 24.15 on p.337. Working in a $V_\kappa$ which ...
4
votes
1answer
163 views

Consistency strength of 0-1 valued Borel measures

The following is an overly fancy way of asking a question suggested in Borel Measures: Atoms vs. Point Masses Let $\phi$ be a property that topological spaces can have (such as "compact", "$T_1$", ...
0
votes
0answers
68 views

How to make a large cardinal unique?

A general form of questions regarding large cardinals is the following: Let $A(x)$ be the formula asserting "$x$ is a large cardinal of type $A$" then is the following true? ...
2
votes
0answers
57 views

Large Cardinal Consequences of $\kappa$-Suslin Hypothesis

$\kappa$-Suslin Hypothesis ($\kappa$-SH) for the infinite regular cardinal $\kappa$ says that every tree of height $\kappa$ either has a branch of length $\kappa$ or an antichain of cardinality ...
3
votes
2answers
87 views

$0^\sharp$ and the regularity of $\aleph_\omega$

I'm sure I'm missing something trivial, and the most likely of it is that I'm simply wrong on my understanding of the constructible universe $L$, or maybe one of the Wikipedia entries I'm about to ...
4
votes
1answer
98 views

Are there any large cardinal properties of the critical point of a $j: L \longrightarrow L$?

I've recently been thinking a bit about $L$ and $0 \sharp$. As is well known, the existence of $0 \sharp$ is equivalent to the existence of a non-trivial elementary embedding $j: L \longrightarrow ...
4
votes
2answers
494 views

Is this extension of ZFC known to be outright inconsistent?

Is the following first-order theory known to be outright inconsistent? Adjoin to ZFC a unary function $U$ together with the following axioms. If $\alpha$ is an ordinal, then there exists an ...
4
votes
1answer
204 views

Proof of “If $ZFC$ proves there is an inaccessible cardinal, then $ZFC$ is inconsistent”.

Let $I$ be the statement "there is an inaccessible cardinal". I'm aware of two proofs of "If $ZFC\vdash I$ then $ZFC$ is inconsistent". One proof uses the Second Incompleteness Theorem, which I ...
8
votes
1answer
278 views

Is there “intuition” as to why the Continuum Hypothesis is independent of most large cardinal axioms?

I could not find a question that seemed to answer my specific query, despite lots of material on the Continuum Hypothesis (CH) on MSE and MO. If there is already a question on this, I'd greatly ...
3
votes
1answer
53 views

$\{\alpha < \kappa \mid cf(\alpha) = \lambda\}$ is not ineffable

We call a subset $X \subseteq \kappa$ of a regular cardinal $\kappa$ ineffable, iff for every family $(A_\alpha \mid \alpha \in X)$ of subsets $A_\alpha \subseteq \alpha$, there is a stationary set $S ...
2
votes
0answers
67 views

Is consistency strength order dense?

Definition: Let $\sigma$, $\theta$ be two statement in the language of set theory. We say $\sigma <_{c} \theta$ ($\sigma$ is strictly lower than $\theta$ in consistency strength order) if within ...
3
votes
1answer
64 views

A question about second-order logic and inaccessible cardinals.

Let $\kappa$ denote an inaccessible cardinal, and suppose $T \in V_\kappa$ is a second-order theory. Now consider some mathematical structure $X \in V_\kappa$. Then I think it is clear that $X \models ...
3
votes
0answers
78 views

Expository Papers on Extenders

Extenders are discussed in many set theory text books. Here I am looking for some expository "papers" which are focused on this subject and its connection with forcing and large cardinals. More ...
3
votes
1answer
145 views

$\aleph_\omega$ and large ordinals?

Assuming the GCH, each time you take the powerset of an aleph number, the subscript increases by one. So there is $\aleph_0, \aleph_1, \aleph_2\ldots \aleph_\omega\ldots \aleph_{\epsilon_0}\ldots$ and ...
2
votes
0answers
96 views

Proof of PFA from Supercompact

In Jech's proof (in chapter 31) that the consistency of a supercompact cardinal implies the consistency of PFA, he needs the following fact: Let $\mathbb{P}_\kappa$ be the countable support forcing ...
2
votes
1answer
57 views

Is the cardinality of the continuum weakly Mahlo?

Is $2^{\aleph_0}$ a weakly Mahlo cardinal? Can it be? That is, are there conditions (such as the negation of the continuum hypothesis or something) under which it is, and other conditions under which ...
1
vote
1answer
97 views

On the number of countable models of complete theories of models of ZFC [duplicate]

Fix the language of set theory $\mathcal{L}=\{\in\}$. Let $\langle M,\in\rangle$ be a set or proper class model of ZFC (e.g. $M$ could be $L$, $HOD$, $V_{\kappa}$ for some inaccessible cardinal ...
1
vote
1answer
111 views

how big is the smallest inaccessible cardinal?

I know a cardinal is inaccessible if it is uncountable,regular,strong limit.And we cannot prove its existence in ZFC.but by axiom of choice,every infinite cardinal is an aleph.so can you write the ...
2
votes
0answers
143 views

How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Shelah's main gap theorem in model theory says: For each first order complete theory $T$ in a countable language if $I(T,\kappa)$ denotes the number of its models of size $\kappa$ then one of ...
2
votes
0answers
110 views

Why are large cardinal axioms actually axioms?

A cardinal is an isomorphism class in ZFC, or a representative of one. I'm not asking what the significant uses of large cardinals are, or why we would want to find them or construct them; I'm ...
4
votes
3answers
331 views

Is there a largest large cardinal?

In ZFC, a cardinal is an isomorphism class of sets. However ZFC doesn't explicitly have classes; NBG, which is a conservative extension of ZFC does. There is no largest cardinal by Cantors Theorem ...