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

5
votes
1answer
98 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 ...
5
votes
1answer
219 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 ...
1
vote
1answer
80 views

How do I explicitly see that the Ultrapower map is the identity below its critical point?

I apologize in advance for how basic this question is... Let $j:V\rightarrow V/U$ be the ultrapower map where U is an ultrafilter on a set S, and $j(x)=[c_x]$. Now, let $f\in j(0)$. Then $f$ is ...
6
votes
2answers
308 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 ...
15
votes
1answer
424 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 ...
5
votes
1answer
334 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}$). ...
3
votes
1answer
313 views

Normal ultrafilters on measurable cardinals

Let $\kappa$ be a measurable cardinal, we say that $\mathcal{D}$ is a normal ultrafilter iff whenever $g\in\kappa^\kappa$ such that $g<_\mathcal{D} Id$, we have some $\alpha<\kappa$ such that ...
7
votes
2answers
411 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
2answers
373 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. ...
5
votes
2answers
370 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 ...
1
vote
2answers
380 views

Weakly-compact cardinals

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