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

2
votes
0answers
37 views

Kurepa trees and inaccessible cardinals in $L$

Given a regular uncountable cardinal $\kappa$ we say that a $\kappa-$tree is $\kappa-$Kurepa if it has at least $\kappa^+$ branches. If $\kappa=\omega_1$ we simply say that $T$ is Kurepa. In this ...
1
vote
1answer
49 views

Club class of inaccessibles

I am currently looking at what Drake calls the Axiom Schema F, "Every normal function defined for all ordinals has a regular fixed point". In ZFC+(Axiom F), does it hold that there is a club class of ...
4
votes
1answer
96 views

Implications of existence of two inaccessible cardinals?

Many years ago in an oral exam I was asked, what could be concluded from the existence of an inaccessible cardinal in ZFC? I knew that would provide a model for ZFC and imply the consistency of ZFC. ...
2
votes
2answers
65 views

Reference: Mahlo cardinals remain Mahlo in L

The following is stated on Wikipedia for Mahlo cardinals. Unfortunately, it's not sourced. Where can I find details? I wasn't able to google any articles dealing with Mahlo cardinals in $L$. Since ...
3
votes
3answers
186 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
1answer
210 views

Is it possible to prove $|V_\kappa|=\kappa$ for strongly inaccessible $\kappa$ without AC?

First, let me note that my definition of "strongly inaccessible" is that a nonzero ordinal $\kappa$ is strongly inaccessible if ${\rm cf}(\kappa)=\kappa$ and $\forall\alpha<\kappa, {\cal P}(\alpha)\...
3
votes
1answer
65 views

ZF and the Existence of Finitely additive measure on $\mathcal{P}(\mathbb{R})$

My understanding is that Solovay (1970)'s relative consistency shows that if ZFC+I has a model then ZF+DC has a model in which every subset of the reals is Lebesgue measurable (and hence $\sigma$-...
4
votes
1answer
79 views

Appealing axioms incompatible with large cardinal axioms

I'm interested to know what are some 'appealing' axioms that are inconsistent with ZFC plus some large cardinal axiom. I saw the question On the contradictory nature of large cardinals & choice-...
2
votes
1answer
42 views

Are there any constructive axioms which disprove the continuum hypothesis?

I understand that the Continuum hypothesis is independent of ZFC, so that we may comfortably add either the continuum hypothesis or its negation to ZFC without creating any paradoxes (unless ZFC had ...
2
votes
0answers
87 views

Are these strengthenings of a rank-into-rank cardinal axiom known to be inconsistent with $ZFC$?

I am just getting acquainted with "very strong" large cardinal axioms, and it seems there is a consensus that among large cardinal axioms, the rank-into-rank cardinal axioms are at the threshold of ...
2
votes
1answer
55 views

A question about the relative sizes of Measurable and Supercompact Cardinal Numbers.

Is the least Supercompact Cardinal Number necessarily greater than the least Measurable Cardinal Number?
8
votes
1answer
90 views

If ZFC has a model then the union of ZFC with the negation of inaccessible cardinals has a model

I would appreciate some help with proving the statement in the title. I'm new to model theory, so I won't understand technical terms or symbols that well. Hence a sketch of the proof will suffice. ...
5
votes
1answer
82 views

Weakly Mahlo cardinals and weakly inaccessible cardinals

A cardinal $\kappa$ is weakly Mahlo if it's weakly inaccessible and the set $\{\lambda\in\kappa:\,\lambda\,\text{weakly inaccessible}\}$ is stationary in $\kappa$. Let's define $E_0=\{\lambda:\,\...
1
vote
0answers
28 views

Together with the algebra of cardinal numbers, is there analysis of cardinal numbers? [closed]

Let $C$ be the collection of all cardinal numbers. Is there any norm, inner-product, metric (other than discrete metric), topology(other than discrete, co-finite topology) on $C$, which is very useful?...
4
votes
1answer
56 views

Consistency of ZFC + “for every function there exists a class inaccessible to it”

Is ZFC + the following statement consistent (and if so, is it equiconsistent to some known large cardinal): For every function $f:ORD \rightarrow ORD$ such that: $f(\alpha)\geq \alpha$, $\alpha >...
2
votes
1answer
55 views

Large Cardinal Extension Property

I have been reading Kanamori's Higher Infinite and I am trying to understand that a cardinal $\kappa$ is $\Pi^1_1$-indescribable iff it has the extension property. We say that $\kappa$ has the ...
4
votes
1answer
40 views

What is “non-simple applied first-order functional calculus” (60's set theory)

Azriel Lévy says in his 1960 paper Axiom Schemata of Strong Infinity in Axiomatic Set Theory, that the $\sf{ZF}$ set theory is formalized with a finite number of axioms in "non-simple applied first-...
0
votes
1answer
57 views

Are there any large cardinals that are not ordinals? [closed]

In ZF, are there any useful large cardinal that cannot be well-ordered? I think that some of the partition cardinals are that way, since with AC, we cannot have $\kappa \to (\omega)^{\omega}$. Are ...
7
votes
1answer
97 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 ...
4
votes
2answers
73 views

Is it provable in $ZFC$ that if $V_\kappa\vDash ZFC$, then $\kappa$ is strongly inacessible?

The other direction of this implication is pretty obvious, but I'm having a hard time seeing why this direction might be true. I suspect that it isn't, but part of my suspicion comes from my inability ...
2
votes
1answer
36 views

Is there an agreed upon convention for naming ZFC+Large Cardinal Axioms?

Is there an agreed upon convention in general for what to name ZFC+[Large Cardinal Axiom]? Or would one have to state explicitly which axiom was being added? To explain what I mean, note that anyone ...
0
votes
1answer
41 views

to prove some subset of a club set is club

Let $\kappa$ be a weak inaccessible cardinal and $C$ closed unbounded in $\kappa$. Then why is $C' = \{\alpha \in C:|\alpha \cap C|= \alpha\}$ also closed unbounded in $\kappa$?
2
votes
2answers
101 views

What are some applications of large cardinals?

Most mathematicians don't often encounter cardinalities larger than that of the continuum, it seems? What are some results outside of pure set theory/logic that rely on the properties of larger ...
2
votes
1answer
146 views

Why are large cardinal axioms actually axioms?

A cardinal is an isomorphism class in ZFC, or a representative of one. I'm not asking what the significant uses of large cardinals are, or why we would want to find them or construct them; I'm ...
1
vote
1answer
30 views

Does the relationship between Jonsson Cardinals and Jonsson Algebras require the axiom of choice?

Using Skolem functions, one can see in ZFC that a cardinal $\kappa$ is Jonsson iff there are no Jonsson algebras on $\kappa$. (I.e. every algebra of size $\kappa$ has a proper subalgebra of size $\...
4
votes
1answer
143 views

What is the *exact* consistency strength of $MK$?

It's well known that the existence of an inaccessible cardinal proves $Con(MK)$. Joel Hamkins has a nice blog post (http://jdh.hamkins.org/km-implies-conzfc/) that explains what you get out of $MK$, ...
1
vote
1answer
71 views

Proving ZFC is consistent

I've heard from a friend that we can actually prove the consistency of ZFC if we assume at least one inaccessible cardinal exists. How is this carried out, precisely? Googling doesn't help and my ...
3
votes
1answer
70 views

Weakly Compact Cardinals are Mahlo Proof

I have a question about a corollary in Jech's set theory text which states: Corollary 17.19. Every Weakly Compact cardinal $ \kappa $ is a Mahlo cardinal, and the set of Mahlo cardinals below $ \...
6
votes
0answers
73 views

If $U,D$ are $\kappa$-complete nonprincipal ultrafilters on $\kappa$ and $j_U = j_D$, is $U=D$?

Here, $j_U$, $j_D$ are the canonical elementary embeddings induced by the measures $U,D$ on $\kappa$. I actually wish to ask three related questions. Let Ult$_U(V)$, Ult$_D(V)$ be the transitive ...
1
vote
1answer
52 views

Elementary embeddings and measurable cardinals

Given a measurable cardinal $\kappa$ we can consider its associated embedding $j:V\longrightarrow M\cong Ult_U(V)$ where $U$ is a $\kappa-$complete non principal normal ultrafilter on $\kappa$. In ...
4
votes
1answer
70 views

When can “$j: V \rightarrow M$ is an elementary embedding” be defined in ZF?

This regards elementary embeddings of inner models of set theory. It seems that it is in general "stated" via an axiom schema each member of which states that the class function is elementary with ...
3
votes
1answer
74 views

Erdös cardinals in $L$

I've readed in Jech's book that the existence of the $\omega-$Erdös cardinal $\kappa(\omega)$ (that is the minimumm cardinal $\kappa$ for which $\kappa\rightarrow (\omega)^{<\omega}$) it is ...
3
votes
1answer
90 views

Ordering of Large Cardinal Axioms

One of the unexplained phenomena about large cardinal axioms is that they tend to be in a linear order (in terms of consistency strength). So it brings to mind other natural questions about this "...
1
vote
2answers
66 views

Standard Complete Model of ZFC and Reflection

I am reading Levy's Axiom Schemata of Strong Infinity in Axiomatic Set Theory. In theorem 6, which says that this Reflection principle $N_0$ is equivalent to Replacement + Infinity in $ZF$ (in $S$ ...
3
votes
1answer
67 views

Diamond in Subtle Cardinals

In Jensen's manuscript on combinatorial principles, he defines the notion of a subtle cardinal: Definition. A regular cardinal $\kappa$ is subtle if for all $C$ club, $(A_\alpha)_{\alpha\in C}$ a ...
1
vote
0answers
68 views

Minimal model of ZF with $0\sharp$

We know that the constructible universe $L$ is an absolute and minimal model of ZF (every standard model of ZF contains "an" $L$, and it is actually the same $L$ for all of them). It is also my ...
7
votes
1answer
94 views

Fixed points in the enumeration of inaccessible cardinals

Let inaccessible cardinal mean uncountable regular strong limit cardinal. Consider $\mathsf{ZFC}$ with an additional axiom: For every set $x$ there is an inaccessible cardinal $\kappa$ such that $\...
1
vote
0answers
38 views

Is it possible to define a group structure on arbitrary set? [duplicate]

Is it possible to define a group structure on arbitrary set? It is obvious for finite sets and also sets with cardinality |Q| and |R| and also we don't know that is there other cardinality betwen them ...
7
votes
2answers
398 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 ...
16
votes
1answer
321 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 ...
2
votes
0answers
77 views

Measurable cardinals are weakly-compact?

First off, this isn't homework, but I'm doing research into large cardinal stuff so I wanna understand these theorems. I'm given this information to work with: a cardinal $\mu$ is measurable if ...
4
votes
2answers
275 views

about the smallest $k$ that $V_k$ is a model of ZFC

Let $k$ to be the smallest ordinal that $V_k$ is a model of ZFC. I know that $k$ need not to be inaccessible cardinal,and $k$ has confinality $\omega$. Then how big is $k$? How to write down $k$ in ...
3
votes
1answer
50 views

Inaccessibility of $\omega^V_1$ in $L$ under determinacy

I'm looking for the proof of the following fact: Assume axiom of determinacy. Then $\omega^V_1$ is a strongly inaccessible cardinal in $L$. I have seen this result mentioned in few places (e.g. ...
6
votes
1answer
100 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 $$...
5
votes
0answers
151 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 ...
4
votes
1answer
111 views

Proving that the existence of strongly inaccessible cardinals is independent from ZFC?

ZFC can't prove that strongly inaccessible cardinals exist, or else it would prove that a model of itself exists and hence $Con(ZFC)$. So this leaves us with two options: ZFC proves there are no ...
3
votes
3answers
98 views

Does the following define a Mahlo cardinal?

Let M be a cardinal with the following properties: - M is regular - $\kappa < M \implies 2^\kappa < M$ - $\kappa < M \implies s(\kappa) < M$ where $s(\kappa)$ is the smallest strongly ...
3
votes
0answers
45 views

Uncountable random graphs

There is a theorem from Erdos and Renyi that says that a random graph on $\aleph_0$ vertices (where each pair of vertices is connected with probability equal to $\frac{1}{2}$) will be isomorphic to ...
-1
votes
1answer
100 views

Defining the critical point of an elementary embedding when there exist incomparable cardinals.

Assume one has. for $V$ and for some transitive class $M$, an elementary embedding $j$: $V$$\rightarrow$$M$ and that $j$$\neq$$id$, where $id$ is the identity. If $V$ and $M$ satisfy $ZFC$ then the ...
2
votes
2answers
100 views

Elementary embeddings,V,set theory,L,cardinals

I would like to make clear some properties of $j,M,L$ and $V$ in ZFC. let $j:V \to M$ denote a (nonidentity) elementary emedding and $M$ a transitive $\in$-model of ZFC.Is there an example of ...