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
522 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
585 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
351 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 ...
10
votes
2answers
546 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
187 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
347 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
2answers
452 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 ...
12
votes
2answers
794 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 ...
2
votes
1answer
186 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 ...
16
votes
1answer
468 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
516 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^\#$ ...
7
votes
3answers
715 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
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 ...
2
votes
1answer
97 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?
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 ...
6
votes
2answers
349 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
168 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 ...
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$", ...
4
votes
1answer
141 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 ...
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: ...
3
votes
2answers
477 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 ...