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

7
votes
1answer
183 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 ...
6
votes
1answer
168 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 ...
5
votes
1answer
179 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 ...
4
votes
1answer
157 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 ...
11
votes
2answers
449 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^\#$ ...
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
220 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
82 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
313 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
431 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
337 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
315 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
421 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
378 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
388 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
388 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
664 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 ...