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
3answers
99 views

Is the critical point of an embedding of a model of set theory inaccessible in it?

Can we find an elementary embedding $j:M\to N$ with $M,N$ transitive $ZFC$-models, $\kappa$ being the critical point, so that $\kappa$ is not inaccessible in $M$ ? ($\kappa$ is regular in $M$.) I ...
3
votes
0answers
41 views

Looking for extender axioms

Consider the following extender construction: Given an elementary embedding $j:V\to M$, where $M$ is transitive, with critical point $\kappa$, we can for each $a\in j(V_{\kappa})$ define a ...
2
votes
0answers
71 views

Closeness of measures on a cardinal

Given an uncountable $\kappa$ and a $\kappa$-complete nontrivial non-normal ultrafilter on $\kappa$, and some $g:\kappa\to\kappa$ with $<_{U}$-rank $\kappa$ (where $f_0<_Uf_1$ iff ...
3
votes
1answer
65 views

Independence of existence of inaccessible cardinals

Let $I$ be the formula which states that there exists strongly inaccessible cardinals. My question is regarding the proof of $ZFC\nvdash I$ appearing in Jech (part of theorem 12.12). He starts by ...
3
votes
0answers
82 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
90 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
47 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
118 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
109 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
108 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
109 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
94 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
60 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
83 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
120 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
74 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
119 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
138 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
122 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
129 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
49 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
83 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
47 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
70 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
129 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
52 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
159 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
91 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
44 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
91 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
99 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
89 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
104 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
209 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
293 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
54 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
68 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
147 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
58 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
98 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 ...