The large-cardinals tag has no wiki summary.

**9**

votes

**2**answers

224 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

**2**answers

249 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 ...

**5**

votes

**0**answers

153 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

**0**answers

183 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

**1**answer

402 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

**0**answers

228 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

**3**answers

664 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

**0**answers

151 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

**1**answer

104 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$ ...

**12**

votes

**2**answers

243 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 ...

**9**

votes

**1**answer

198 views

### Strongest large cardinal axiom compatible with $V = L$?

What is the strongest known natural large cardinal axiom compatible with $V = L$ (strongest in the sense that it implies all known "small" large cardinal axioms, where a large cardinal axiom is said ...

**11**

votes

**1**answer

312 views

### What are the current views on consistency of Reinhardt cardinals without AC?

It's well known that Reinhardt cardinals are inconsistent, provided that we have access to axiom of choice, but, as far as I know, we are clueless about this when we don't assume choice. For me, the ...

**4**

votes

**1**answer

144 views

### Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?

What is the simplest non-constructible set of integers (say, in the analytical hierarchy) that is compatible with the nonexistence of $0^\sharp$? In particular, can there still be a non-constructible ...

**8**

votes

**2**answers

164 views

### Elementary embeddings with the same critical point

Question: Is it consistent (relative to the existence of large cardinals) that there is an elementary embedding $j\colon V\to M$ (where $M$ is transitive model) that factors as $j = j_n \circ k_n$ for ...

**4**

votes

**1**answer

152 views

### almost huge embeddings and stationary correctness

Suppose $\kappa$ is an almost huge cardinal. Using the characterization of Theorem 24.11 in Kanamori's book, one can show that if $j : V \to M$ is an embedding derived from an almost-huge tower of ...

**9**

votes

**0**answers

254 views

### Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings ...

**7**

votes

**0**answers

164 views

### Countable choice in $L(\mathbb{R}^*_G)$

Let $\lambda$ be a singular strong limit cardinal and let $G \subset \text{Col}(\omega,\mathord{<}\lambda)$ be a $V$-generic filter. Let $\mathbb{R}^*_G = \bigcup_{\alpha < \lambda} ...

**6**

votes

**1**answer

218 views

### Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...

**3**

votes

**1**answer

200 views

### How to change the successor of a singular with a Woodin?

I'm looking for references on how to change the successor of a singular cardinal from "more or less" minimal assumptions. If possible, then without adding bounded subsets to the singular either.
In ...

**8**

votes

**1**answer

208 views

### Erdős cardinals and $0^\sharp$

It is well-known that if the Erdős cardinal $\kappa(\omega_1)$ exists, then $0^\sharp$ exists, but what if $\kappa(\lambda)$ exists for a limit ordinal $\omega_1^L\leq \lambda<\omega_1$? Does this ...

**4**

votes

**1**answer

210 views

### Iterated ultrapowers of L

If there exists a measurable cardinal, we can generate a sequence of iterated ultrapowers $\{Ult_U^\alpha(V)\}_{\alpha\in ON}$. If $0^\sharp$ exists, i.e. if there exists an elementary embedding ...

**10**

votes

**1**answer

228 views

### On the definition of the $\alpha$-iterable cardinals

I am reading the paper Ramsey-like cardinals II by Victoria Gitman and Philip Welch (Journal of Symbolic Logic, vol. 76, no. 2. pp. 541-560, 2011) and maybe I am missing something.
According to the ...

**8**

votes

**2**answers

965 views

### The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular:
Question 1. What is the philosophy behind accepting large ...

**6**

votes

**1**answer

215 views

### On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...

**6**

votes

**1**answer

279 views

### higher-order reflection

In the first-order context, "reflection" of a formula $\varphi(x)$ below $\kappa$ refers to the the following situation:
There are many ordinals $\alpha<\kappa$ such that for all $a \in ...

**10**

votes

**1**answer

360 views

### Erdős cardinals and ineffable cardinals

In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have ...

**5**

votes

**0**answers

150 views

### A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$.
Question 1: Is it ...

**11**

votes

**0**answers

355 views

### Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem:
Theorem. Assuming the consistency of infinitely many strong cardinals, one ...

**7**

votes

**1**answer

247 views

### Inaccessible becomes successor of singular

Is it possible, starting from any large cardinal assumption, to find a countably closed forcing $\mathbb{P}$ such that for some inaccessible $\kappa$, $\Vdash_\mathbb{P} "\kappa = \lambda^+$ and ...

**4**

votes

**1**answer

198 views

### The word problem of the free left distributive algebra on one generator

A left distributive algebra is a set $A$ together with a binary operation, $\cdot$, satisfying $a\cdot(b\cdot c)=(a\cdot b)\cdot(a\cdot c)$.
One important example of left distributive algebras arises ...

**8**

votes

**2**answers

249 views

### A Weakening of the Tree Property

If $f$ and $g$ are two functions, define $f \sim g$ if they differ only finitely often on their common domain.
The following property of a large cardinal arose from a problem in model theory. I am ...

**7**

votes

**1**answer

126 views

### Strongly compact cardinal with bad covering properties

This is a continuation of the question covering properties of strongly compact embedding.
Recall that a cardinal $\kappa$ is $\nu$-strongly compact cardinal if there is an elementary embedding ...

**5**

votes

**1**answer

144 views

### A realcompact analogue of the Baire category theorem

Let $\frak{m}$ be the least measurable cardinal. A space $X$ is realcompact if it is homeomorphic to a closed subset of some product $\mathbb{R}^I$. Let $X$ be realcompact with $P_\frak{m}$ topology, ...

**5**

votes

**1**answer

157 views

### Covering properties of strongly compact embedding

Let $\kappa$ be a $\mu$-strongly compact cardinal, which means that there is an elementary embedding $j:V\rightarrow M$, with critical point $\kappa$ such that $M$ is well founded (even closed under ...

**11**

votes

**1**answer

303 views

### What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?

It is well-known that an uncountable regular cardinal $\kappa$ is strongly compact if and only if every $\kappa$-complete filter on any set extends to a $\kappa$-complete ultrafilter on that set. The ...

**6**

votes

**0**answers

200 views

### Does Sageev's result need an inaccessible?

In 1981, building on work by Ellentuck in 1974, Sageev showed ("A model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic," ...

**10**

votes

**1**answer

453 views

### Does Turing determinacy imply full determinacy?

The axiom of Turing determinacy is a weakening of the full axiom of determinacy, $AD$, in which only games with payoff sets which are $\equiv_T$-invariant are demanded to be determined.
In "Turing ...

**3**

votes

**2**answers

439 views

### A question about “local” versus “global” large cardinal axioms

The terms "local" and "global" when applied to large cardinal axioms seem to have a well understood intuitive meaning, although a formalized definition of them in (a meta-language for)ZFC might be ...

**3**

votes

**1**answer

157 views

### Are normal ultrafilters generated by conditional closure systems?

Suppose that $\kappa$ is a cardinal, $X$ is a set with $|X|>\kappa$, and $\mathcal{U}\subseteq P(P_{\kappa}(X))$ is a normal ultrafilter. We say that a collection $C\subseteq P_{\kappa}(X)$ is a ...

**5**

votes

**1**answer

207 views

### Is there a large-cardinal completeness theorem for $L$?

I cannot currently find the original, but if memory serves, Goedel once speculated that there might be a "large-cardinal completeness theorem for $V.$" This theorem would state:
*Theorem. For every ...

**10**

votes

**0**answers

197 views

### Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident.
Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...

**4**

votes

**1**answer

194 views

### Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

I am trying to establish whether it is consistent that some property holds at the least weakly compact cardinal. I know that the property holds at measureables.
Hence (hoping everything else goes ...

**2**

votes

**0**answers

86 views

### Do there exist projective realcompact covers?

In 1958 Gleason [1] constructed projective covers in the category of compact Hausdorff spaces. These may be characterized in many ways. One description that is most interesting to me: $p:EX\to X$ is a ...

**14**

votes

**6**answers

2k views

### What “forces” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...

**10**

votes

**2**answers

614 views

### Questions about Prikry forcing and Cohen forcing

I have some questions.
The first one is about the product of Prikry's forcing.
Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...

**9**

votes

**1**answer

305 views

### Inner model in which every uncountable cardinal is large

The following is known:
$(*)$ If $0^\sharp$ exists, then any uncountable cardinal is is an inaccessible cardinal (and even more) in $L$.
My question is that:
Are there any large cardinal ...

**4**

votes

**0**answers

191 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...

**10**

votes

**0**answers

253 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**5**

votes

**1**answer

233 views

### $\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me.
...

**6**

votes

**1**answer

242 views

### regularity of ultrafilters

An ultrafilter $U$ is $(\mu,\kappa)$-regular if there is a sequence $\langle X_\alpha : \alpha < \kappa \rangle \subseteq U$ such that for all $y \in [\kappa]^\mu$, $\bigcap_{\alpha \in y} X_\alpha ...