**5**

votes

**1**answer

157 views

### Is this weak form of $V=L$ (in)consistent with large cardinals?

I have been considering a (definability-free) weak form of the constructibility axiom, which is intended to capture the coarse structure of the constructible hierarchy. This means that this weak form ...

**1**

vote

**1**answer

213 views

### Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \backslash L$? If so, is there any way one can distinguish ...

**5**

votes

**1**answer

135 views

### Martin-Solovay Tree of Weakly Homogeneous Tree under $\mathsf{AD}_\mathbb{R}$

A tree $T$ on $\omega \times \lambda$ is weakly homogeneous if there is a countable set $\sigma$ of countably complete measures on ${}^{<\omega}\lambda$ so that $x \in p[T]$ if and only if there is ...

**38**

votes

**1**answer

953 views

### Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...

**5**

votes

**1**answer

205 views

### A variant of Freiling's Axiom of Symmetry and a weak form of the Continuum Hypothesis in models where all sets of reals are Lebesgue measurable

Consider the following variant of Freiling's Axiom of Symmetry, $\mathsf{AS}$, which will be denoted $A_{< 2^{\aleph_0}}$:
given any function $f$ from $\mathbb{R}$ into the families of of subsets ...

**3**

votes

**1**answer

217 views

### Representation of meager sets in Cohen extensions

Let $M$ be a transitive model of ZFC and $c\in {}^\omega2$ a Cohen real over $M$. Let $A$ be a meager Borel subset of $^\omega2$ in $M[c]$. I would like to prove that there exists a meager Borel set ...

**2**

votes

**6**answers

2k views

### Looking for a source for Intended Interpretation

Hao Wang writes: "The originally intended, or standard, interpretation takes the ordinary nonnegative integers $\{0, 1, 2, \ldots \}$ as the domain, the symbols $0$ and $1$ as denoting zero and one, ...

**4**

votes

**0**answers

169 views

### Unbounded towers and combinatorial cardinal characteristics of the continuum

Update: Perhaps the question is too difficult. I would appreciate, thus, even just comments or related observations.
This question assumes familiarity with combinatorial cardinal characteristics of ...

**3**

votes

**1**answer

144 views

### Reference request: The consistency of a tall tower in $\mathbb{N}^\mathbb{N}$

A $\kappa$-tower in $\mathbb{N}^\mathbb{N}$ is a sequence
$\langle a_\alpha : \alpha<\kappa\rangle$ in $\mathbb{N}^\mathbb{N}$
that is $\le^*$-increasing with $\alpha$
and has no $\le^*$-upper ...

**2**

votes

**1**answer

160 views

### Boolean algebras and free filters generated by chains

Suppose $\mathbf{B}$ is a complete Boolean algebra with an infinite domain $B$. Suppose $\mathbf{B}$ is atomic (i.e. every element is the supremum of some set of atoms). This algebra contains the ...

**-7**

votes

**0**answers

102 views

### Can the universe be simulated? [closed]

I have a question: Can the universe be precisely simulated? I got into an discussion over this. Some hardcore determinists were positing that if we knew all the initial conditions of all components ...

**5**

votes

**0**answers

100 views

### Examples of analytic $\mathcal{I}$-mad families

If $\mathcal{I}$ is an ideal (proper and containing the finite sets) on $\omega$, call a family of subsets $\mathcal{A}\subseteq[\omega]^\omega$ $\mathcal{I}$-almost disjoint if for all distinct ...

**8**

votes

**0**answers

173 views

### Inner models and strongly compact cardinals

The following question is motivated by a result of Magidor that it is consistent that the least strongly compact cardinal is the least measurable cardinal.
Question. Assume $\kappa$ is a strongly ...

**5**

votes

**1**answer

285 views

### When is there an unbounded tower in $[\mathbb{N}]^\infty$?

(Edit: I'm splitting the question, leaving here only what is answered by Ashutosh, and moving the rest to another question.)
This question assumes familiarity with combinatorial cardinal ...

**10**

votes

**1**answer

251 views

### Precipitous ideals and GCH

It is well known that ZFC + "There is a measurable cardinal" is equiconsistent with ZFC + "There is a precipitous ideal on $\omega_1$." Is ZFC + "There is a measurable $\kappa$ such that $2^\kappa ...

**14**

votes

**1**answer

455 views

### Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?

The question is: if I assert in ZF that there exists a Reinhardt cardinal, do I really get a theory of higher consistency strength than when I assert in ZFC that there exists an I0 cardinal (the ...

**15**

votes

**3**answers

668 views

### Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size ...

**10**

votes

**1**answer

369 views

### A question on subsets of $\omega_1$

Is there a family $\{A_\alpha:\alpha<2^{\omega_1}\}\subset [\omega_1]^{\omega_1}$ in ZFC such that for each countable set $I\subset 2^{\omega_1}$ and $\alpha\in 2^{\omega_1}\setminus I$ we have
...

**7**

votes

**1**answer

203 views

### What is the height (or depth) of $[\mathbb{N}]^\infty$?

(This question assumes familiarity with combinatorial cardinal characteristics of the continnum.)
Let $[\mathbb{N}]^\infty$ be the family of infinite subsets of $\mathbb{N}$,
partially ordered by ...

**4**

votes

**1**answer

207 views

### Is it consistent that the gaps between cardinals $\kappa$ and $2^\kappa$ “get larger and larger”?

Is the following statement consistent in $\mathsf{ZFC}$?
For every ordinal $\beta$ there is an ordinal $\lambda_0$ such that for all ordinals $\lambda\geq\lambda_0$ we have ...

**19**

votes

**2**answers

1k views

### What is the largest Laver table which has been computed?

Richard Laver proved that there is a unique binary operation $*$ on $\{1,\ldots,2^n\}$ which satisfies $$a*1 \equiv a+1 \mod 2^n$$
$$a* (b* c) = (a* b) * (a * c).$$
This is the $n$th Laver table ...

**11**

votes

**1**answer

396 views

### Changing cofinalities above supercompact cardinals

Question. Suppose $\kappa$ is a supercompact cardinal and $\lambda > \kappa$
is measurable (or even larger large cardinal if necessary).
Is there a set generic extension of the universe in ...

**-8**

votes

**1**answer

340 views

### Missing Axiom: There are no other axioms. Leads to a proof of CH within ZFC [closed]

I have come to the conclusion that there is often an implied axiom: There are no other axioms. Failure to explicitly state this axiom and to consider its consequences can result in the misleading ...

**0**

votes

**1**answer

152 views

### Can epsilon-induction be derived from the transitive closure operator?

I was wondering (and could not seem to prove or disprove) if epsilon-induction could be derived from the transitive closure operator for binary relations, if we do not have the Foundation Axiom.
The ...

**19**

votes

**1**answer

1k views

### Surreal exponentiation — are the varying definitions equivalent? If not, is there agreement on which ones are better?

The surreal numbers are sometimes introduced as a place where crazy expressions like $(\omega^2+5\omega-13)^{1/3-2/\omega}+\pi$ (to use the nLab's example) make sense. The problem is, there seem to ...

**8**

votes

**2**answers

296 views

### “Clubiness” of projective sets of ordinals

I'm sure this is just my google-fu failing me, but: what are sufficient, non-overkill large cardinal axioms which guarantee "Every (boldface) $\Pi^1_n$ set of (real codes for) countable ordinals ...

**11**

votes

**1**answer

331 views

### Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have:
(1) $\kappa$ is singular in $V$ of cofinality $\omega,$
(2) $\kappa$ is regular (and in fact ...

**10**

votes

**0**answers

311 views

### c.c.c forcing notions and adding minimal generic reals

Is the following statement consistent:
``There is no non-trivial c.c.c forcing notion adding a minimal generic real''?
The question is related to Prikry's question: Is it consistent that any ...

**9**

votes

**1**answer

291 views

### Two questions about higher Souslin trees

Assume $V=L$ and let $\kappa$ be a Mahlo cardinal. Let $L[G]$ be the generic extension obatined by Mitchell forcing to make $2^{\aleph_0}=\aleph_2=\kappa.$
It is known that in the extension there ...

**1**

vote

**1**answer

156 views

### Completing class-sized Fields

Let's say that an ordered Field is a class (proper or not) which satisfies the axioms of ordered fields. We work in NBG set theory with global choice.
Let's say that an ordered Field is real closed ...

**16**

votes

**0**answers

711 views

### Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$.
In this question I would like ...

**4**

votes

**1**answer

275 views

### Is tree property inconsistent with Berkeley cardinals in the absence of Axiom of Choice?

On one hand due to Kunen's inconsistency theorem it is known that within $\sf ZF$, large cardinal axioms beyond Reinhardt cardinal are inconsistent with $\sf AC$.
Also some recent results of Bagaria, ...

**14**

votes

**0**answers

337 views

### The axiom $I_0$ in the absence of $AC$

It is well-known that if $AC$ holds and if $j: L(V_{\lambda+1}) \to L(V_{\lambda+1})$ is a non-trivial elementary embedding with $crit(j) < \lambda,$
then $\lambda$ has countable cofinality (and in ...

**17**

votes

**2**answers

1k views

### Analogues of Primitive Recursive Functions

Let $\mathbf{A}$ be an admissible set (possibly with urelements). I am wondering if there is some good notion of "primitive recursive arithmetic" relative to $\mathbf{A}$. More precisely, I would like ...

**15**

votes

**1**answer

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

**8**

votes

**1**answer

285 views

### How long does the slow inefficient algorithm for computing the product in classical Laver tables take?

Let $(A_{n},*)$ denote the $n$-th classical Laver table. Let
$X_{n}$ be the set of all finite sequences of elements from $A_{n}$.
Define a function $E_{n}:X_{n}\rightarrow X_{n}$ by letting
...

**5**

votes

**2**answers

660 views

### A specific Model of ZFC

In his paper "Some Second Order Set Theory", Joel Hamkins asked whether there is a model of set theory $V$ that is elementary equivalent to $V[G]$, Whenever $G$ is $V$-generic for the collapse of a ...

**4**

votes

**2**answers

316 views

### Embedding property of weakly compact cardinals

One of the characterizations of $\kappa$ being a weakly compact cardinal is being inaccessible, and for every $\kappa$-model $M$, there is a [$\kappa$-model] $N$ and an elementary embedding $j\colon ...

**-1**

votes

**1**answer

104 views

### Subgraphs of $\mathbb{R}^2$ in the Hadwiger-Nelson problem

In the setting of the Hadwiger-Nelson problem, two points of $\mathbb{R}^2$ form an edge if and only if their distance is $1$. The resulting graph $G$ has chromatic number $\chi(G)\in \{4,5,6,7\}$ and ...

**6**

votes

**1**answer

255 views

### moving up a consequence of PFA

The Proper Forcing Axiom (PFA) implies that every forcing which adds a subset of $\omega_1$ either adds a real or collapses $\omega_2$. Is it consistent that every forcing which adds a subset of ...

**6**

votes

**0**answers

182 views

### Nonexistence of generic objects over $L(\mathbb{R})$

A well known result (stated and credited to Todorcevic in "Semiselective Coideals", by Farah, Mathematika, 1997, but with antecedents going back to Mathias) says that, under the appropriate large ...

**4**

votes

**2**answers

159 views

### Can one satisfaction class code another?

Let $M$ be a model of ${\sf ZFC}$. A satisfaction class $S$ for $M$ is subset of $M$'s ordered pairs which satisfies in $M$ the standard Tarskian compositional axioms. E.g.:
$M\vDash \forall \phi, ...

**4**

votes

**1**answer

263 views

### Large cardinals without choice?

For any given extension $T$ of ZFC (or perhaps NBGC or something), we can ask whether there is an extension $T'$ of ZF which does not prove AC such that
$Con(T) \leftrightarrow Con(T')$
$Con(T) \to ...

**4**

votes

**2**answers

232 views

### Is injectivity of $2^{(\ldots)}$ weaker than $\mathsf{GCH}$? [duplicate]

The following statement cannot be proven in $\mathsf{ZFC}$:
(S) : If $A, B$ are sets with $|A| < |B|$, then $2^{|A|} = |{\cal P}(A)| < |{\cal P}(B)| = 2^{|B|}$.
Obviously, ...

**10**

votes

**2**answers

286 views

### Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality

For a strong limit cardinal $\kappa$ the notion of $\kappa$-Kurepa tree is trivial: the full binary tree is a $\kappa$-Kurepa tree. Accordingly, we consider the following strengthening:
A slim ...

**4**

votes

**1**answer

207 views

### Does “Every infinite set is splittable” imply $\mathsf{AC}$? [duplicate]

We say an infinite set $X$ is splittable if there are $X_1, X_2\subseteq X$ with $X_1\cap X_2 = \emptyset$, $X_1\cup X_2 = X$ and there are bijections $\varphi:X_1\to X_2$ and $\psi:X_1\to X$.
Does ...

**155**

votes

**27**answers

19k views

### What are some reasonable-sounding statements that are independent of ZFC?

Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC."
For example, suppose A is an abelian group such that every ...

**6**

votes

**1**answer

351 views

### Does the consistency strength hierarchy coincide with the “arithmetic consequence” hierarchy at ZF + Reinhardt?

In these slides (see especially slide 26), Steel emphasizes the phenomenon that for all known "natural" extensions of ZFC, the ordering by consistency strength agrees with the ordering by containment ...

**6**

votes

**3**answers

390 views

### When does the generalized Cantor space embed in a $\kappa$-compact space

The generalized Cantor space is the space $2^\kappa$, with basic open sets
$$
[\sigma] := \{f\in 2^\kappa : \sigma\subseteq f\},
$$
for $\sigma\in 2^{<\kappa}$.
A space is $\kappa$-compact if ...

**5**

votes

**1**answer

270 views

### Cardinality of connected Hausdorff topologies

Let $X$ be an infinite set and let $C(X)$ denote the collection of connected Hausdorff topologies on $X$. Suppose $N\subseteq C(X)$ has the property that whenever $\tau\neq\sigma \in N$ then ...