The tag has no usage guidance.

learn more… | top users | synonyms

6
votes
2answers
409 views

“Lebesgue-measurable” cardinals and real-closed fields

I understand the motivation behind measurable cardinals is to ask the question: "is there any set large enough to admit a non-trivial measure on all of its subsets?" Hence, it's also worthwhile to ...
12
votes
2answers
406 views

tree properties on $\omega_1$ and $\omega_2$

Are the following mutually consistent (relative to large cardinals)? (1) There are no $\omega_2$-Aronszajn trees. (2) There is an $\omega_1$-Kurepa tree. In the models I know of the tree property ...
2
votes
1answer
176 views

tree property at $\aleph_2$ and $\aleph_4$

It is claimed that if there are two weakly compact cardinals, then there is a generic extension in which $\aleph_2$ and $\aleph_4$ have the tree property. Assuming one knows Mitchell's forcing, what ...
0
votes
2answers
316 views

A question regarding the relation between Freiling's Axiom of Symmetry and real-valued measurable cardnals

A major argument against Freiling's Axiom of Symmetry is the following (this from the wikipedia article of the same name): "The naive probabalistic notion used by Freiling tacitly assumes that there ...
5
votes
1answer
183 views

Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

It is known that (light-face) $\Sigma_3^1$ generic absoluteness is consistent with $\mathsf{ZFC}$: Friedman and Bagaria showed that it holds in the $\text{Coll}(\omega, < \kappa)$ extension of $V$ ...
7
votes
1answer
199 views

Consistency strength of being strong cardinal and indestructible under collapses

What is the consistency strength of the following statement: $\kappa$ is a strong cardinals and it is indestructible under $Col(\kappa, <\theta),$ where $\theta> \kappa$ is some fixed ...
11
votes
1answer
267 views

Does stationary reflection imply Mahloness?

Suppose $\kappa$ is strongly inaccessible and every stationary subset of $\kappa$ reflects. Must $\kappa$ be Mahlo? Remarks: It is possible for every stationary subset of $\kappa$ to reflect, but $...
6
votes
2answers
429 views

Collapsing the cardinals between two singular cardinals

Question 1: Is it consistent that there is a forcing notion collapsing $\aleph_{\omega\cdot 2}$ to $\aleph_\omega$ without collapsing $\aleph_\omega$ or $\aleph_{\omega\cdot 2 + 1}$? If the answer ...
0
votes
1answer
264 views

Class forcings and elementary embeddings

In the Hamkins-Kirmayer-Perlmutter paper "Generalizations Of The Kunen Inconsistency", they prove the following theorem: "Theorem 7: In any set forcing extension $V[G]$, there is no nontrivial ...
10
votes
1answer
621 views

Are there discontinuities in the large cardinal hierarchy?

Suppose that $\Phi(x,y)$ is a formula in the language of set theory so that for each natural number $n$, the axiom $\exists x\Phi(n,x)$ is a large cardinal axiom (for example consider $n$-huge ...
16
votes
1answer
501 views

What sort of cardinal number is the Löwenheim-Skolem number for second-order logic?

In their paper "On Löwenheim-Skolem-Tarski numbers for extensions of first order logic", Magidor and Väänänen make the following statement: "For second order logic, $LS(L^{2})$ [...
0
votes
1answer
232 views

A question regarding extendible cardinals and a result of M. Magidor

The following definitions and Theorems come from M. Magidor's paper "On the Role of Supercompact and Extendible Cardinals in Logic" (Israel J. Math., Vol. 10, 1971): "Definition: Logic is called $\...
5
votes
1answer
158 views

Does the critical sequence for subalgebras of elementary embeddings with finitely many generators have order type $\omega$?

Suppose that $\lambda$ is a cardinal. Let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $j,k\in\mathcal{E}_{\lambda}$, then define $j[k]=\...
9
votes
1answer
407 views

Just a little absoluteness might be cheaper?

Absoluteness is a wonderful thing, but expensive consistency-strength wise. My question is, when can we get large amounts of absoluteness in specific situations for much cheaper? Specifically, fix a ...
12
votes
0answers
285 views

Adding a saturated ideal

Is it consistent that there is no $\omega_2$-saturated ideal on $\omega_1$, but one is introduced by an $\omega_2$-closed forcing? Some motivation: If $\delta$ is a Woodin cardinal, then it remains ...
6
votes
1answer
336 views

Details for Woodin's forcing argument for a saturated ideal from the Levy collapse

Theorem 2.65 in Woodin's book shows that a saturated ideal on $\omega_1$ exists after Levy-collapsing a Woodin cardinal $\delta$ to $\omega_2$. I am confused about the part of the argument where he ...
6
votes
0answers
187 views

Where does this strengthening of I1 stand?

Let's call a cardinal $\delta$ an $\text{I1}$-tower cardinal if for each $A\subseteq V_{\delta}$, there exists a $\kappa<\delta$ such that whenever $\kappa<\alpha<\delta$ there is some $\...
3
votes
1answer
426 views

Formulating Kunen's inconsistency and Reinhardt cardinals in term of category theory

It is known that one can formulate certain large cardinal axioms (e.g. Vopenka's principle--see Mike Shulman's answer to Harry Gindi's mathoverflow question "Reasons to believe Vopenka's Principle/...
4
votes
1answer
268 views

What consistency results follow the assumption: $\forall\alpha(\aleph_{\alpha+1}\nleq2^{\aleph_\alpha})$?

In a recent question on Math.SE it was asked whether or not For every infinite cardinal $\mathfrak m$ there is no $\aleph$ number, $\kappa$, such that $\mathfrak m<\kappa<2^{\mathfrak m}$. By ...
8
votes
2answers
323 views

Around Vopěnka: Accessible category with small full discrete subcategories of arbitrary size?

I believe the model-theoretic version of the question is: is there a theory in finitary first-order logic which has, for each cardinal $\lambda$, a set $C_\lambda$ of $\lambda$-many models, such that ...
16
votes
1answer
460 views

Whatever happened to $L(j)$?

So this question probably shows my inner model theoretic ignorance, but: In "Two remarks on elementary embeddings of the universe" (http://projecteuclid.org/download/pdf_1/euclid.pjm/1102969567), ...
5
votes
1answer
210 views

Universally Baire Tree Representation of Projective Sets

In Feng, Magidor, and Woodin "Universally Baire Sets of Reals", they show that if $A$ is a $\mathbf{\Pi}_2^1$ set and $U$ and $V$ are any pair of trees witnessing the universal baireness of $A$, then ...
9
votes
1answer
189 views

Are the failure of SCH and “$cf([\mu]^{cf (\mu)},\subset)>\mu^+$ for some singular” equiconsistent?

Is it true that the following two statements are equiconsistent? (1) $2^\mu>\mu^+$ for some strong limit singular cardinal $\mu$ (2) $cf([\mu]^{cf (\mu)},\subset)>\mu^+$ for some singular ...
3
votes
0answers
182 views

name for an intermediate notion between huge and 2-huge

I am employing a large cardinal notion that has been used explicitly before, and I am wondering if someone has given it a good succinct name. A cardinal $\kappa$ is huge if there is an elementary $j :...
13
votes
2answers
966 views

When does Vopěnka's principle hold?

Vopěnka's principle (VP) is the statement that, given any proper class $\{\mathcal{A}_\eta: \eta\in ON\}$ of first-order structures in the same language, there are some $\alpha\not=\beta$ with $\...
7
votes
1answer
403 views

Explicit counter example to Vopěnka's principle in the constructible universe?

Vopěnka's principle is a large cardinal axiom which has many equivalent formulations. One of them, which I find especially appealing, is the following: if the universe is satisfies Vopěnka's principle ...
6
votes
2answers
288 views

The role of the rigid relation principle ($RR$) in the Kunen inconsistency

Consider the rigid relation ($RR$) principle, i.e. "every set admits a rigid binary relation", that is,"that for every set $A$ there is a binary relation $R$ on $A$ such that the structure $(A,R)$ is ...
4
votes
1answer
191 views

Existence of $\kappa$-Suslin trees above a measurable cardinal

We have learned from Joel David Hamkins and Monroe Eskew that: Answers: Having a measurable cardinal $\delta$ we can force a $\kappa$-Suslin tree for many $\kappa$'s above $\delta$. But is the ...
13
votes
1answer
239 views

Consistency strength of $\aleph_2$-Souslin hypothesis

Question 1. What is known about the consistency strength of $\aleph_2$-Souslin hypothesis? Question 2. What is known about the consistency strength of having both $\aleph_2$-Souslin hypotheis and $\...
7
votes
1answer
409 views

Can the first ordinal in which $V\neq HOD$ be $\aleph_\omega$?

Assume that $V\neq HOD$ and let $\kappa = \min \{\alpha\in On \mid \mathcal{P}(\alpha) \not\subseteq HOD\}$. Clearly, $\kappa$ is a cardinal. Question: Is it consistent that $\kappa = \aleph_\...
8
votes
2answers
189 views

Reference for proof that consistency of $\omega_1$-Erdos cardinal implies Con(Chang's Conjecture)

What is a good source for Silver's proof (or a more modern version) that Con($\exists \omega_1$-Erdos cardinal) implies Con(Chang's Conjecture)? Silver's original proof seems to have never been ...
4
votes
1answer
240 views

$\text{ZFGC}^{\text{−f}}+\text{BAFA}+\exists\kappa(κ \text{ is Reinhardt})$ and its implication

A. S. Daghighi, M. Golshani, J. D. Hamkins, and E. Jeřábek proved in "The foundation axiom and elementary self-embeddings of the universe" that, working in ZFGC$^{\text{−f}}$+BAFA, there are ...
4
votes
1answer
366 views

Inaccessible cardinal and $\Sigma_1$ reflection

A theorem of A. Levy says that, if $\kappa$ is an inaccessible cardinal, then $V_\kappa\prec_{\Sigma_1}V$ namely $V_\kappa$ is an elementary submodel when considering only $\Sigma_1$ formulas. Where ...
17
votes
2answers
1k views

Philosophical arguments in defense (or against) large cardinals

The question is essentially what is asked in the title. I split it into two parts (A) (Arguments supporting the existence of large cardinals) What are the main philosophical arguments in defense ...
4
votes
1answer
153 views

presaturated ideals

In this paper, Gitik and Shelah make the following claim (part of Proposition 1.5): Claim (Gitik-Shelah): Suppose $\kappa < \lambda$ are regular, $2^\lambda = \lambda^+$, and $D$ is a normal ...
4
votes
1answer
105 views

The GCH in a reverse Easton support iteration

I am trying to understand the proof that the GCH can first fail at a weakly compact cardinal. We assume the GCH and that there exists a weakly compact cardinal $\kappa$, and we construct a reverse ...
5
votes
1answer
350 views

stationary tower forcing

It is known that if $\delta$ is a Woodin cardinal and $\kappa < \delta$, then the stationary tower forcing $\mathbb Q^\kappa_{<\delta}$ preserves cardinals up to $\kappa$ and forces $\delta = \...
7
votes
1answer
244 views

Is there a simple combinatorial characterization for when a direct limit of ultrapowers of $V$ is well-founded?

I want to know if there are fairly simple combinatorial necessary conditions for when a direct limit of ultrapowers of $V$ is well-founded similar to $\sigma$-completeness. By combinatorial, I mean ...
7
votes
0answers
194 views

Singular Jonsson cardinals

Is the consistency of the following well-known: $(*)$: There exists a singular cardinal $\kappa$ such that : (1) $\kappa$ is a Jonsson cardinal, (2) $\kappa$ is not a fixed point of the $...
6
votes
1answer
166 views

Pseudo-Prikry sequences vs Prikry sequences

Definition: Let $V\subseteq W$ be two transitive models of $ZFC$. A pseudo-Prikry sequence, $s$, at a cardinal $\kappa$ for $(V, W)$ is an $\omega$-sequence, cofinal at $\kappa$ such that for every ...
11
votes
2answers
1k views

Is there a compendium of the consistency strength between the most important formal theories?

Preliminar Notions: A formal system is a tuple $(\Sigma,G,A,R)$ where $\Sigma$ is an alphabet (set of symbols), $G$ is a formal grammar on $\Sigma$ that generates a formal language $L$ (set of well ...
4
votes
2answers
301 views

Limits of determinacy on reals

For $X\subseteq\mathbb{R}^\omega$, say that $X$ is determined if the associated game on $\mathbb{R}$ of length $\omega$ (players I and II alternate playing reals, player I wins iff the sequence built ...
6
votes
0answers
200 views

Core model for supercompact cardinals and iteration trees

I have a few somehow related questions: Question 1. What do we expect for an inner model $\mathcal{K}$ to be a core model for a supercompact cardinal? What properties should it have, and what ...
6
votes
0answers
308 views

$\delta$-strong compactness and generalized strong tree properties

Are there non-trivial equivalent characterizations of $\delta$-strongly compact (and almost strongly compact) cardinals in terms of generalized tree properties? Recall the definitions as per Joan ...
6
votes
2answers
658 views

A question on rank-to-rank embeddings

Consider a non-trivial elementary embedding $j:V_\lambda\to V_\lambda$ and, for each $A\subset V_\lambda$, set $j(A)=\bigcup_{\delta<\lambda}j(A\cap V_\delta)$. In Implications between strong ...
5
votes
0answers
291 views

Cardinal characteristics without choice

(I'm taking my definition of a cardinal characteristic from Blass' excellent article http://www.math.lsa.umich.edu/~ablass/need.pdf, which cites Vojtas/Fremlin/Miller; theirs is more general, but I'm ...
12
votes
3answers
786 views

Complete resolutions of GCH

Let's say that a "complete resolution of GCH" is a definable class function $F: \operatorname{Ord}\longrightarrow \operatorname{ Ord}$ such that $2^{\aleph_\alpha} = \aleph_{F(\alpha)}$ for all ...
9
votes
0answers
188 views

Preserving Jonsson cardinals

I am (still) interested in trying to characterize and describe forcings that preserve Jonsson cardinals. A cardinal $\kappa$ is a Jonsson cardinal if there is no Jonsson algebra on $\kappa$, i.e. ...
3
votes
1answer
130 views

Classify set theories whose transitive models sharing the same sets of ordinals are equal

This question is a follow-up from my recent question, Classifying set theories whose standard models sharing the same ordinals are equal Let's say that a (recursively axiomatizable) set theory $T$ ...
13
votes
2answers
334 views

Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...