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
81 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
53 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?
2
votes
1answer
40 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 ...
8
votes
1answer
85 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
72 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
26 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
49 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 >...
1
vote
1answer
49 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 ...
2
votes
1answer
54 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
54 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 ...
4
votes
2answers
70 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
35 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
94 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 ...
4
votes
1answer
139 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
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 $\...
1
vote
1answer
70 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
68 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
72 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
51 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
65 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
72 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
88 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
67 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
92 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 ...
2
votes
0answers
75 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 ...
3
votes
1answer
48 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
97 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
148 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
101 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
89 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 ...
7
votes
1answer
96 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 ...
-1
votes
1answer
95 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
99 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 ...
4
votes
2answers
125 views

$L$ models set theory and so does $V_\kappa$ for $\kappa$ inaccessible

Background: I have been reading the 1980 edition of Kunen. Theorem VI.2.1 states it is provable from ZF that $\mathbf L$ (Kunen writes classes in bold) is a model of ZF. Also, it is a well-known ...
6
votes
2answers
95 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 ...
5
votes
1answer
130 views

Gauging the “size” of measurable cardinals and inaccessible cardinals

I have been told that measurable cardinals are much "larger" than ordinary strongly inaccessible cardinals. I have even heard that the former make the latter look "tiny" in comparison. This is ...
3
votes
3answers
193 views

Is the critical point of an embedding of a model of set theory inaccessible in it?

Can we find an elementary embedding $j:M\to N$ with $M,N$ transitive $ZFC$-models, $\kappa$ being the critical point, so that $\kappa$ is not inaccessible in $M$ ? ($\kappa$ is regular in $M$.) I ...
3
votes
0answers
59 views

Looking for extender axioms

Consider the following extender construction: Given an elementary embedding $j:V\to M$, where $M$ is transitive, with critical point $\kappa$, we can for each $a\in j(V_{\kappa})$ define a $\kappa$-...
2
votes
0answers
78 views

Closeness of measures on a cardinal

Given an uncountable $\kappa$ and a $\kappa$-complete nontrivial non-normal ultrafilter on $\kappa$, and some $g:\kappa\to\kappa$ with $<_{U}$-rank $\kappa$ (where $f_0<_Uf_1$ iff $\{i<\kappa\...
3
votes
1answer
82 views

Independence of existence of inaccessible cardinals

Let $I$ be the formula which states that there exists strongly inaccessible cardinals. My question is regarding the proof of $ZFC\nvdash I$ appearing in Jech (part of theorem 12.12). He starts by ...
5
votes
0answers
108 views

Many $(\kappa+\alpha)$-strong cardinals below a $(\kappa+\beta)$-strong one for $\alpha < \beta < \kappa$

Let $\lambda$ be an ordinal. A cardinal $\kappa$ is $\lambda$-strong iff there is some inner model $M$ and an elementary embedding $$ j \colon V \rightarrow M $$ s.t. $crit(j) = \kappa$ and $V_\lambda ...
5
votes
1answer
98 views

Ramsey Combinatorics and linear order

Prove that the following are equivalent for an infinite cardinal $\kappa$. (1) $\kappa \to (\kappa)^2_2$ (2) In any linearly ordered set of cardinality $\kappa$ there is either a well-ordered or a ...
2
votes
1answer
55 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
165 views

What is wrong with this “proof” that there is no $\omega$th inaccessible cardinal?

"Theorem": There is no $\omega$th inaccessible cardinal. "Proof": Assume ZFC. Let $\kappa_n$ be the $n$-th inaccessible cardinal; since $V_\kappa$ is a model of ZFC for inaccessible $\kappa$, $V_{\...