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

11
votes
1answer
547 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 ...
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 ...
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 ...
2
votes
1answer
116 views

Does TG prove that ZFC2 has a model?

Does TG (Tarski-Grothendieck Set Theory) prove that ZFC2 (second-order ZFC) has a model? Does it at least prove the consistency of ZFC2?
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?
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
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
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 ...
4
votes
1answer
159 views

A question regarding the status of CH in the Gitik model

Consider models of ZF+"Every uncountable cardinal is singular" (eg. Moti Gitik: "All uncountable cardinals can be singular", Israel journal of Mathematics, 35(1-2): 61-88, 1980). How should CH be ...
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 ...
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 ...
11
votes
2answers
543 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^\#$ ...
6
votes
2answers
86 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 ...
2
votes
1answer
204 views

$V_k$ being a model of ZFC whenever $k$ is strongly inaccessible

ZFC implies that the $V_k$ is a model of ZFC whenever $k$ is strongly inaccessible.. So if $k$ is weakly inaccessible, it can't be a model of ZFC? Why is it like this? And ZF implies that ...
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 ...
1
vote
1answer
109 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 ...
7
votes
1answer
181 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 ...
4
votes
1answer
179 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$", ...
3
votes
2answers
145 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: ...
3
votes
2answers
502 views

On the definition of weakly compact cardinals

I am reading in Jech's Set Theory the chapter about large cardinals. After discussing measurable cardinals he moves on to weakly-compact cardinals, which have been discussed far earlier in the book. I ...
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 ...
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 ...
3
votes
1answer
144 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, ...