Questions tagged [large-cardinals]

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.

422 questions
Filter by
Sorted by
Tagged with
85 views

tree property and arrow notation

How can I see that for an uncountable cardinal $\kappa$ these 2 conditions are equivalent : $\kappa$ has the tree property $\kappa \to (\kappa)^2$
58 views

fine measure/Jech's book misunderstanding of the fine measure notion

I have several questions about a short paragraph in Jech's famous book Set Theory. In the definition of normal fine measure we have $U$ on $P_{<\kappa}(A)$ . But $P_{\kappa}(A)$ is already the set ...
56 views

elementary embeddings, $V$ vs. $L$

What is possible from these choices, there is an (nontrivial) elementary embedding $$j:V\to L$$ or There is an elementary embedding $$j:L\to V$$ and second part of my Q. is to what is this consistent ...
51 views

What is the link between interpretability hierarchy and consistency strength

I am trying to understand this definition https://plato.stanford.edu/entries/independence-large-cardinals/#IntHie of Interpretability Hierarchy and how it relates to the concept of Consistency ...
61 views

I am trying to find a source that states, it is consistent with ZFC that weakly inaccessible cardinal does not exist. Can I please get some sources? It was quite hard for me to find such. Indeed, I ...
71 views

Compact cardinal cannot be successor?

This is a follow-up question to $\kappa$ is compact $\implies$ $\kappa$ is regular. The definition I'm using for "compact" is the same as there. I am trying to show if $\kappa$ is compact, ...
108 views

$\kappa$ is compact $\implies$ $\kappa$ is regular

Definitions The Stanford Encylopedia of Philosophy makes the following definition in their article on Infinitary Logic https://plato.stanford.edu/entries/logic-infinitary/ Let κ be an infinite ...
105 views

A restricted form of the inner model hypothesis

To keep things relatively simple I'm presenting a somewhat-butchered version of the IMH; for more details, see S.-D. Friedman, Internal consistency and the inner model hypothesis. Throughout, "...
26 views

49 views

How can the direct limit of a rank-into-rank embedding fail to be well-founded?

I have a question about proposition 6.4. of I0 and rank-into-rank axioms by Dimonte 2017. The question is about the direct limit of a directed system of rank-into-rank elementary embeddings defined as ...
187 views

Properties of $\aleph_1$ under axioms where $2^{\aleph_0} = \aleph_2$

There are some interesting set-theory axioms under which the cardinality of the continuum, $2^{\aleph_0}$, is equal to $\aleph_2$. One example is Woodin's Strong $\Omega$ Conjecture, though I have ...
59 views

What is the formal definition of a natural instance of non-linearity in consistency strength?

I was inspired to ask this question after watching Joel David Hamkins give a talk about natural instances of non-linearity in consistency strength. Basically, large cardinal axioms seems to be ...
87 views

Possible inconsistency of almost huge cardinals (I hope not)

The paper "Double helix in large large cardinals and iteration of elementary embeddings" by Kentaro Sato 2007 gives the following characterization of almost huge cardinals as lemma 5.4 (note ...
86 views

Why are extenders defined using finite sequences?

My question is inspired by definitions 3.1 and 3.2 (3) of "Double helix in large large cardinals and iteration of elementary embeddings" by Kentaro Sato 2007 but I think my question is ...
121 views

Why are inaccessible cardinals/Solovay's model always excluded in measure theory texts?

So forgive me for a moment, as I am only comfortable with the VERY basics of Lebesgue measure, at the moment. I will be taking a course on it soon, but apart from the definitions and basic properties, ...
116 views

(Long) extender in its own ultrapower

I've seen stated in numerous places that if $E$ is an extender and $M$ is the ultrapower (of $V$) by $E$, then $E\not\in M$. I understand the proof of this for short extenders, but it's not clear to ...
105 views

99 views

For an extender $F$ of minimal length witnessing the coherence condition of a Martin-Steel Doddage, $\kappa_F = \iota_F$

This question of mine comes from Woodin's "In Search of Ultimate-L" article on page $36$. Let $\mathcal{E}$ be a Martin-Steel Doddage and $(\alpha, \beta)\in \mbox{dom}(\mathcal{E})$ and ...
148 views

Dual notions of current large cardinals

This question might be characterized as a soft-question, and I am just curious to know if some of the notions below make sense or are consistent. So to kick things off, we may note that the existence ...
79 views

Does counting inaccessibles have a fixpoint?

Assume the existence of a proper class of inaccessibles $I$, and let $f : \mathrm{Ord} \to I$ denote the unique strictly increasing class surjection given by Mostowski Collapse. Does $f$ have a ...
113 views

80 views

Example of a nonprincipal incomplete ultrafilter

I am trying to build my intuition on ultrafilters by finding examples of non-implications between these properties: ultra nonprincipal completeness Any filter (on a regular cardinal $\kappa$) ...
226 views

Are extendible cardinals $\Sigma_3$-reflective, choicelessly?

Definition. A cardinal $\kappa$ is extendible if for each $\alpha$ there is $\zeta$ and $j:V_{\kappa+\alpha}\prec V_\zeta$ and $\operatorname{crit}j=\kappa$, $j(\kappa)>\alpha$. (There was ...
202 views

68 views

For a measurable cardinal $κ$, show that $cf(γ)≠κ$ implies $j_U(γ)=\sup\{j_U(δ):δ<γ\}$ ($U$ $κ$-complete ultrafilter, $j_U$ associated embedding) [closed]

For : $κ$ a measurable cardinal, $U$ a $κ$-complete ultrafilter over $κ$ $j_U$ the elementary embedding of $V$ into the ultrapower of $V$ to $U$ How to show that : If $\operatorname{cf}(γ)≠κ$ ...
51 views

Is it possible to formalize iterative reflection in FOL, and what is its strength?

I'll largely present this posting informally, because I'm not certain if it can be done formally in the language first order logic with identity and membership. What I want to do is to iterate ...
32 views

The reflection axiom and large cardinals?

Extensionality: as in Zermelo set theory Separation: as in Zermelo set theory Reflection: if $\phi$ is a formula having all of its free variables among $\vec{x}$ that doesn't use the symbol $v$ ; and ...
234 views

74 views

About a detail of the proof of $\mathsf{GCH}$ via iterated ultrapower

I am reading the proof of $L[U] \models \mathsf{GCH}$ given on Mitchell's Beginning Inner Model Theory at the handbook, but I confronted a detail how to fill the details. Mitchell's proof goes as ...
127 views

What led Hausdorff to consider the possibility of "unerreichbar" or "weakly inaccessible" cardinals?

I would like to know how it was that Felix Hausdorff came to consider the possibility of, if not indeed necessity of, what he was the first to call "unerreichbare" or "unreachable" ...
68 views

Showing elements of an ultrapower have the form $j(f)([id]_{\mathcal{U}})$

I am in a set theory class and we just started talking about ultrapowers. My professor mentioned that, if $\kappa$ is a measurable cardinal and $\mathcal{U}$ is a nonprincipal $\kappa$-complete ...
81 views

Which large cardinal this theory stops at proving its existence?

The language of this theory is first order predicate calculus with extra-logical primitive symbols of $=; \in, W"$, where $W"$ is a constant symbol. Axioms: those for identity theory + ...
72 views

Coding a function $g:\kappa\to V_{\zeta+1}$ by an element of $V_{\zeta+1}$

Update: this question has been answered on MathOverflow. This question is about the following remark (modified to be self-contained), found in Donald Martin's book on determinacy, page 340. The ...
102 views

Is it true ZF can't prove there is a choice function on the Turing degrees?

It is possible to show there is no Borel choice function on the Turing degrees. In fact we can even prove there is no Turing invariant Borel injection from $2^\omega$ to $2^\omega$, which sort of says ...
What is the consistency strength of the existence of an elementary embedding $j: Ord\to Ord$ from the class of ordinal to itself? For example, if there is an elementary embedding $j: V\to M$, then $j\... 2answers 340 views What is wrong with this proof that inaccessible cardinals are inconsistent Disclaimer: I believe this proof is wrong, but I'm asking because I can't find what's wrong with it, which means I must have some basic misunderstanding of the concepts involved. First, some ... 2answers 133 views What is wrong with this proof there is no$\omega$-th worldly cardinal Call a cardinal$\kappa$worldly iff$V_\kappa\vDash ZFC$. Let$\kappa_\alpha$be the$\alpha$th worldly cardinal, i.e. the least worldly cardinal such that$\{\beta\lt\kappa_\alpha|\beta\text{ is ...
I want to know when a cardinality $\kappa$ admits a (countably additive) probability measure on its powerset that gives probability zero to subsets of cardinality strictly less than $\kappa$. I am ...