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

20
votes
1answer
640 views

On the large cardinals foundations of categories

(This was cross-posted to MathOverflow.) It is well-known that there are difficulties in developing basic category theory within the confines of $\sf ZFC$. One can overcome these problems when ...
16
votes
1answer
492 views

Forcing Classes Into Sets

I am still studying the topics in forcing and did not yet study much about forcing with a class of conditions. I know from Jech's Set Theory that you can force that the class of ordinals in the world ...
15
votes
1answer
276 views

What's the latest on Laver tables?

A couple of years ago, I was astonished and delighted to learn about Laver tables, a sequence (indexed on $n$) of Cayley-like tables for a binary operation $\star$ on numbers $i,j\leq 2^n$ that ...
11
votes
2answers
858 views

What are large cardinals for?

I've heard large cardinals talked about, and I (think I) understand a little about how you define them, but I don't understand why you would bother. What's the simplest proof or whatever that ...
11
votes
2answers
544 views

When does $V=L$ becomes inconsistent?

In a wonderful course I'm taking with Magidor we are finishing the proof of the Covering Theorem for $L$. The theorem, in a nutshell, says that $V$ is very close to being $L$ if and only if $0^\#$ ...
11
votes
1answer
548 views

“Nice” well-orderings of the reals

I have a question which I believe could be easily resolved if I happened to look at the right source - hence my asking it here as opposed to at MathOverflow. I've tried googling it, but I haven't been ...
10
votes
2answers
581 views

Proving $V_{\kappa}$ is a model of ZFC for inaccessible $\kappa$

Prove that if $\kappa$ is an inaccessible cardinal, then $V_{\kappa}$ satisfies all the axioms of ZFC. How is this done for the axiom of choice and for regularity?
10
votes
1answer
308 views

Shelah Cardinals and Modern Set Theory

Do Shelah cardinals play an essential role in any modern set theory results or was the concept basically made obsolete by Woodin cardinals?
10
votes
2answers
525 views

Real-measurable cardinals that are not measurable ones

I'm reading Jech's Set Theory, and in the chapter about measurable cardinals there is a theorem that if $\kappa$ is real-measurable but not measurable then it is $\le 2^{\aleph_0}$ and so and so. ...
9
votes
1answer
244 views

$A^\#$ and inner models

For a set of ordinals $A$ we say that $A^\#$ exists if there exists a closed and unbounded class of indiscernibles, $I\subseteq\operatorname{Ord}$, for $L[A]$. Formally, if such class exists we define ...
9
votes
1answer
199 views

If $\kappa$ is measurable, does there exist a normal measure on $\mathcal P_{\kappa}(\kappa)$?

I'm trying to do exercise $10.7$ of Jech's Set Theory: If $\kappa$ is a measurable cardinal, then there exists a normal measure on $\mathcal P_{\kappa}(\kappa)$. For a set $A$, with $|A|\geq ...
8
votes
1answer
354 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 ...
8
votes
1answer
104 views

Sequence of Ordinals and Ordinal Definability in Levy Collapse Extensions

Let $\kappa$ be an inaccessible cardinal. Let $G$ be generic for $Col(\omega, < \kappa)$, the Levy Collapse. If $f\in \text{ }^\omega \text{Ord}^{V[G]}$, is $f \in OD_{\text{ ...
7
votes
3answers
837 views

Why is Kunen inconsistency at the top of Cantor's upper attic?

Motivation: I have reproduced part of page 396 and 397 from Handbook of Mathematical Logic below: So if we start with a concept of number and play the game of naming the largest one, does Kunen ...
7
votes
2answers
240 views

What is the largest cardinal which can inject into $\mathbb{R}$ in ZF?

This question takes place in ZF. Assume some mild large cardinals; then it is consistent (in fact, it follows from AD, the consistency of which follows from mild large cardinals) that there are very ...
7
votes
1answer
376 views

Can forcing push the continuum above a weakly inacessible cardinal?

There is a famous quote of Paul Cohen which reads $\lt\lt$ A point of view which the author feels may eventually come to be accepted is that the continuum hypothesis is obviously false ... The ...
7
votes
1answer
183 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 ...
7
votes
1answer
237 views

Equivalent ways to describe the Mitchell order

For a measurable cardinal $\kappa$, we define an ordering over $\kappa$-complete ultrafilters as follows: Suppose $W,U$ are both $\kappa$-complete free ultrafilters over $\kappa$, we say that $U\lhd ...
7
votes
1answer
427 views

Inaccessible cardinals and well-founded models of ZFC

This was a problem in an exam I took last semester, but I never got the chance to ask my professor how to solve it. Here goes: Let $\kappa$ be an inaccessible cardinal. Then $V_\kappa$ is a ...
7
votes
1answer
227 views

Weakly Compact Cardinals and the Extension Property

From $\textit{The Higher Infinite}$ by Kanamori, in his proof (page 39 - 41) that $\kappa$ is weakly compact if and only if $\kappa$ satisfies the Extension Property, the proof does something that I ...
7
votes
1answer
164 views

Does asserting the existence of large cardinals allow one to prove the existence of new subsets of $\mathbb{R}$?

ZFC proves the existence of certain subsets of $\mathbb{R}$. Suppose ZFC is consistent, and we adjoin a large cardinal axiom to ZFC, obtaining ZFC'. Assume ZFC' is also consistent. It it possible to ...
7
votes
0answers
382 views

Good Reference for Large Cardinals/Homotopy Theory

I'm planning on attending a conference in Barcelona in September called "Large Cardinal Methods in Homotopy Theory" and want to try to be as prepared as I possibly can. Are there good references for ...
6
votes
1answer
107 views

Basic constructibility question

I'm currently reading J. D. Hamkins' paper "Unfoldable cardinals and the GCH," and I've run across a comment that I think I ought to find trivial, but I don't. On page 1187, he says that ...
6
votes
2answers
357 views

mahlo and hyper-inaccessible cardinals

Wikipedia states that a Mahlo cardinal is hyper-inaccessible, hyper-hyper-inaccessible, etc. Is this a characterisation of Mahlo? If not what about "alpha = hyper^alpha-inaccessible" with the obvious ...
6
votes
1answer
89 views

$M$-amenable ultrafilters on $\kappa$ are $\kappa$-powerset preserving

Let $M$ be a transitive model of $\operatorname{ZFC-}$ and let $$ j \colon M \rightarrow N $$ be elementary with $\operatorname{crit}(j) = \kappa \in \operatorname{wfp}(N)$. Let $U_j$ be defined by ...
6
votes
1answer
231 views

Strong cardinals and reflection

I'm new to all this large cardinal thing and I have trouble in proving the following: If $\kappa$ is a $\gamma$-strong cardinal, for some large enough $\gamma$, then $\kappa$ is ...
6
votes
1answer
115 views

Large cardinals and $V$

I am confused by something: $\mu$ is a large cardinal if $\lambda<\mu\Rightarrow 2^{\lambda}<\mu$ and any union of less than $\mu$ sets of size less than $\mu$ is less than $\mu$. On Wikipedia ...
6
votes
1answer
224 views

Silver indiscernibles and definable injections

This is a follow up to my previous question on Silver indiscernibles. Background: Suppose that $0^\#$ exists, $\alpha<\lambda$ are limit ordinals, $i_\alpha$ is the $\alpha$th Silver ...
6
votes
1answer
189 views

Large cardinal and consistency: what are the main results today?

Lately I've been studying (on Jech "Set Theory" and Kanamori "The Higher Infinite") some problems related to the extension of measures. I've never studied set theory before and I'm quite baffled from ...
6
votes
2answers
87 views

A function on an LCH space that is sequentially continuous but nowhere continuous

This question is an extension of Looking for example of topological spaces where sequential continuity does not imply continuity. In my answer to that question, I gave an example of a topological ...
6
votes
2answers
80 views

Removing sets from models of set theory

I have a naive and open-ended question: How can one remove a set from a model of set theory in such a way that the result is again a model of set theory? Directly related: what kinds of sets can ...
5
votes
2answers
473 views

The tree property for non-weakly compact $\kappa$

In my previous question, Weakly-compact cardinals, I was asking about weakly-compact cardinals and equivalent definitions to the basic one, which is $\kappa \to (\kappa)^2_2$. One of which was that ...
5
votes
1answer
364 views

Consistency of $\operatorname{cf}(\omega_1)=\operatorname{cf}(\omega_2)=\omega$

It is known that if $\operatorname{cf}(\omega_1)=\operatorname{cf}(\omega_2)=\omega$ then $0^\#$ exists. I am familiar with the Feferman-Levy model in which $\omega_1$ is singular, which has the same ...
5
votes
1answer
175 views

Injective or constant function on measurable cardinal

I'm working on the following question: Let $\kappa$ regular cardinal, and $f:\kappa \rightarrow \kappa$. Prove that $\{\alpha < \kappa\mid f|_\alpha : \alpha \rightarrow \alpha\}$ is a ...
5
votes
1answer
108 views

Gauging the “size” of measurable cardinals and inaccessible cardinals

I have been told that measurable cardinals are much "larger" than ordinary strongly inaccessible cardinals. I have even heard that the former make the latter look "tiny" in comparison. This is ...
5
votes
1answer
92 views

Supercompact cardinals and being witnessed by a structure of limited rank

Supercompact cardinals have reflection properties. If a cardinal with some property (say a 3-huge cardinal) that is witnessed by a structure of limited rank exists above a supercompact cardinal ...
5
votes
1answer
217 views

Intuition behind extenders

What's the best way to think about extenders? For instance if we have a normal $\kappa$-complete ultrafilter on $\kappa$, call it $D$, $M$ the ultrapower given by $D$, and if we look at $j: V \to M$, ...
5
votes
1answer
214 views

Silver indiscernibles and constructibility

We know that if $0^\#$ exists then it's not in $L$. For an infinite ordinal $\alpha$, denote by $I_\alpha$ the initial segment of length $\alpha$ of Silver indiscernibles. Question: For which ...
5
votes
1answer
376 views

Normal ultrafilters and Stationary sets

If $\kappa$ is a measurable cardinal, and $\mathcal{U}$ is a normal ultrafilter which is $\kappa$-complete then $\mathcal{U}$ extends the club filter (i.e. every club is a member of $\mathcal{U}$). ...
5
votes
1answer
85 views

Members of $\Sigma^1_4$ sets

I'm pretty sure this is an easy descriptive set theory question that I'm just blanking on. Is it consistent with large cardinals - say, with a measurable - that every (nonempty) $\Sigma^1_4$ class ...
5
votes
1answer
95 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 ...
5
votes
1answer
154 views

Ineffable Cardinals and Critical Point of Elementary Embeddings

A cardinal $\kappa$ is a ineffable if and only if for all sequences $\langle A_\alpha : \alpha < \kappa\rangle$ such that $A_\alpha \subseteq \alpha$ for all $\alpha < \kappa$, then there exists ...
5
votes
2answers
323 views

Which are “big theorems” of descriptive set theory?

Question: If one were to fully understand 10 theorems in DST, or 15,20,25,30 theorems, which ones would be the most important to understand in order to work towards an understanding of descriptive set ...
5
votes
1answer
103 views

The real cofinality of singular cardinals in $L$ under $0^\#$

Suppose that $0^\#$ exists, is there a relatively simple way to show that for any ordinal $\lambda$, if $\lambda$ is a singular cardinal in $L$ then its real cofinality is $\omega$?
5
votes
1answer
224 views

Generalizing $0^\#$

Background and motivation: The following theorem is due to Silver: If there exists a Ramsey cardinal then: For every $\aleph_0 < \kappa < \lambda$, $L_{\kappa}$ is an elementary ...
5
votes
0answers
139 views

“Clubbiness” of $\Pi^1_n$ sets

I'm sure this is just my google-fu failing me, but: what are sufficient large cardinal axioms to guarantee "Every (boldface) $\Pi^1_n$ set of countable ordinals contains or is disjoint from a club ...
5
votes
0answers
94 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 ...
4
votes
2answers
501 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
2answers
92 views

A reference that forcing with a poset of cardinality less than $\kappa$ preserves supercompact cardinals

I'm looking for a reference for the fact that if $\kappa$ is supercompact and $Q$ is a poset of cardinality less than $\kappa$, then $V^Q\models \check{\kappa} \ \text{is supercompact}$. Apparently ...
4
votes
3answers
392 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 ...