forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence ...

learn more… | top users | synonyms

-3
votes
1answer
222 views

the real Generalized Continuum Hypothesis, reflecting the finite powers [on hold]

The real Generalized Continuum Hypothesis is a model of ZFC, from any universe of ZFC, via Easton forcing, where the following hold: $$ 2^{\omega} = \omega_1 $$ $$ 2^{\omega_1} = \omega_2 $$ $$ ...
0
votes
0answers
39 views

Uncountability of the set of subsets of $\mathbb N$ [migrated]

Denote by $\mathbb{N}$ the set of natural numbers and by $2^{\mathbb N}$ the set of all subsets of $\mathbb N$. Let $E$ be some subset of $2^{\mathbb N}$ such that for every pair of elements in $E$, ...
9
votes
1answer
218 views

Assuming AD, is every infinite cardinal closed under power set in a choice model?

Assume AD+DC. Assume $\kappa$ is an infinite cardinal and $N$ is a (set or class) transitive model of ZFC containing $\kappa$. Is it true that for all $\alpha<\kappa$, $N$ thinks that the power ...
7
votes
0answers
144 views

A question about finitely additive extensions of Lebesgue measure

Suppose $m:P([0, 1]) \to [0, 1]$ is a finitely additive measure extending the Lebesgue measure. Must there exist some $X \subseteq [0, 1]$ such that $m(X \cap I) = |I|/2$ for every sub interval $I ...
5
votes
1answer
155 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 ...
-4
votes
0answers
47 views

Formal Language Set-Theoretic Help [closed]

I've been trying to figure out how this question works but am quite stuck, can anyone please assist in explaining it? "Recall that we can define new formal languages in terms of existing ones using ...
5
votes
2answers
152 views

Extending hyperconnected spaces

A hyperconnected space is a topological space such that every two non-empty open sets have non-empty intersection. Let's call a space $(X,\cal{T})$ maximally hyperconnected if it is hyperconnected and ...
2
votes
0answers
108 views

What can be said about a Boolean-valued structure from what the Boolean-valued forcing extension thinks about it?

Suppose that $\phi$ is a formula in the language of set theory such that there are some $n_{1},...,n_{k}$ such that if $V\models\phi(x)$, then $x=(X,R_{1},...,R_{k})$ and ...
3
votes
1answer
211 views

A question about Cantor's Power Set theorem without the Axiom of Choice

Assume that we are working in ZF set theory without the Axiom of Choice. If S is an infinite set, let $S(f)$ denote the set of all finite subsets of $S$, let $S(I)$ denote the set of all infinite ...
5
votes
0answers
112 views

Reference to forcing with a sigma ideal $\cong$ Cohen forcing

This is a historical question: Who was the first person to notice the following? If $V \models \kappa$ is measurable and $P$ adds $\kappa$ Cohen reals, then in $V^P$, letting $\hat{I}$ to be the ...
-2
votes
0answers
31 views

MatLab loop which stops after X iterations [closed]

sorry this is a bit of a simple question but I can't find the answer. I'm trying to halt a loop after 25 iterations like this: ...
-2
votes
0answers
10 views

Partition on a Closed Set A= [2,3] [migrated]

Is it possible to define a partition on a closed set,such that the union of the partitions will give [2,3] and their intersection to be empty?
9
votes
1answer
152 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 ...
4
votes
1answer
164 views

Meager set of full measure

Let X be a compact Hausdorff topological group and let m be the Haar measure on X. Can we find a meager set in X whose complement is m-null? I can do it when X is separable but I don't know if there ...
0
votes
0answers
33 views

How can nontrivial elementary embeddings of the universe to some inner model be surjective? [migrated]

Consider $\kappa$ to the least measurable cardinal, or equivalently $\kappa$ is the critical point for an elementary embedding $j:V \rightarrow M$ from the universe $V$ to an inner model $M$ (critical ...
3
votes
0answers
157 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 ...
6
votes
0answers
240 views

Reference for “if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin”

Does anyone know of a reference for one or both of the following facts (in $\mathsf{ZF}$)? If the set of reals $A$ is Suslin, then every $\Sigma^1_1(A)$ set of reals is Suslin. If $T$ is a tree on ...
12
votes
2answers
846 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
334 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 ...
2
votes
1answer
171 views

Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
3
votes
0answers
118 views

A Result of Anders Bjorner: Matchings in countably infinite geometric lattices of finite height

Let $L$ be a countably infinite geometric lattice of finite height $r\ge3$. (A geometric lattice of height $r$ is an atomistic semimodular lattice such that every maximal chain has $r+1$ elements.) ...
1
vote
0answers
69 views

Outer measure preserving bijection

Suppose X is a Sierpinski set (So X is uncountable and every null subset of X is countable). Let f be a bijection on X. Must/Does there exist a non null subset Y of X such that for every subset W of ...
1
vote
0answers
166 views

The patterns of possibility for nontrivial automorphisms and nontrivial elementary embeddings of the universe

In their paper "The Role of the Foundation Axiom in the Kunen Inconsistency" (arXiv:1311.0814 [Math.LO]), Daghighi, Golshani, Hamkins, and Jerabek show that the patterns of possibility for the ...
10
votes
3answers
469 views

Axiom of choice for sets of finite sets

The question I am going to ask is really to satisfy my curiosity, as I am not at all an expert of the subject and do not plan to really work on it. Hence, if you think the question is not suitable for ...
7
votes
1answer
164 views

Characterizing L(R) Cardinals in HOD

We're working in L(R) under AD. We know that $\omega_1$ is the least measurable in HOD, $\Theta$ is the least woodin, $\delta^2_1$ is the least strong to the woodin, etc. My question is about ...
7
votes
1answer
296 views

Constructing unnatural transformations

In a nutshell, the question is: is it true that any explicit (not involving axiom of choice) pointwise transformation between sufficiently complicated functors is natural almost everywhere? Let $C$ ...
23
votes
2answers
417 views

Mid point free sets

Given a subset X of unit interval, can we find a subset Y of X of same outer measure as X such that Y does not contain three points of the form x, y and (x+y)/2? I can do this assuming CH but can we ...
5
votes
1answer
244 views

Logical strength of “choice functions exist for well-ordered families”?

A colleague of mine suggested the following weakening of the axiom of choice: If $\mathscr{F} := \{F_\alpha\}$ is a well-ordered family of non-empty sets (i.e., there is a bijection between ...
0
votes
0answers
33 views

Calculate optimal path through changing network? [migrated]

Apologies if this question is not suited for this forum. The question extends beyond my knowledge of mathematics and programming, it is quite hard to get my head around it let alone put it in to ...
7
votes
1answer
189 views

Dedekind-finite arithmetic vs natural numbers arithmetic

It is known that the Dedekind-finite cardinals are closed under addition and multiplication, so one may do arithmetic in them, as opposed to only natural numbers. How much can those two arithmetics ...
5
votes
2answers
259 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 ...
1
vote
1answer
121 views

Does the countable $\sigma$-product of a separable Hilbert space have a first countable topology?

Let $\mathcal{l}^2$ be "the" separable real infinite dimensional hilbert space, e.g. the space of square-summable sequences of real numbers. Let $\Box^{\mathbb{N}}\mathcal{l}^2$ be the countable ...
1
vote
0answers
172 views

Existence of $\lambda$-transitive linear orders for $\lambda \geq \aleph_0$

A linear order $(L, <)$ is $\lambda$-transitive iff any order-preserving bijection between sets of size $\lambda$ can be extended to an order automorphism of $L$. For $\lambda < \aleph_0$, ...
4
votes
1answer
150 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 ...
9
votes
0answers
142 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 ...
3
votes
1answer
103 views

Infinite non-splittable graphs

Let $G=(V,E)$ be a graph. For $v\in V$ we set $N(v)=\{w\in V:\{v,w\}\in E\}$. We say that $G$ is splittable if there are $S,T\subseteq V$ with $S\cap T=\emptyset$ and $S\cup T = V$ such that for all ...
5
votes
0answers
164 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 = ...
7
votes
1answer
224 views

Notions of infinity in $\mathsf{ZF}$ without choice

Consider the following statements about a given set $X$ in in $\mathsf{ZF}$: (1) There is $x_0\in X$ such that there is a surjective map $\varphi: X\setminus\{x_0\}\to X$. (2) There is an injective ...
6
votes
0answers
149 views

A generalization of SOCA

Roughly speaking, SOCA (Semi Open Coloring Axiom) says that for an open coloring of the unordered pairs over an uncountable separable metric space you can always find an uncountable homogeneous subset ...
6
votes
2answers
153 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 ...
13
votes
3answers
1k views

Applications of set theory in physics

In the introduction of the paper "Links between physics and set theory", the following quote of Eris Chric is stated: "Set theory perhaps is too important to be left just to ...
3
votes
0answers
142 views

A property of the Frechet filter and every ultrafilter

(Joint question with Piotr Szewczak.) Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least. For a filter $\mathcal{F}$, let ...
11
votes
1answer
246 views

A classic cardinal characteristic of the continuum in disguise?

We believe the answer to the following question, that is relevant to a joint research project with Piotr Szewczak, should be known. We would appreciate any help or pointer. Needed definitions may be ...
8
votes
3answers
351 views

Freiling's Axiom of Symmetry Concretized

Freiling's Axiom of Symmetry says that for any function $f:[0,1]\to \mathcal{P}([0,1])$ such that for every $x\in [0,1]$ we have $|f(x)|=\aleph_0$, then there exist $y,z\in [0,1]$ such that $z\notin ...
13
votes
4answers
2k views

Is there a natural bijection from $\mathbb{N}$ to $\mathbb{Q}$?

In a conversation where it came up that the Pythagoreans probably found an enumeration of the rational numbers I erroneously remarked that Georg Cantor found a natural bijection from $\mathbb{N}$ to ...
3
votes
0answers
167 views

What algebraic identities does the iteration of forcing operation satisfy?

Let $G$ be the set of all formulas $\phi(x)$ in the language of such that $ZFC\vdash\exists x\phi(x)$ exists, $ZFC\vdash\phi(x)\rightarrow``x\,\textrm{is a complete Boolean algebra}"$, ...
4
votes
1answer
203 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 ...
8
votes
2answers
310 views

For a partition of $\mathbb{R}$ into countably infinite sets, must there be an almost-disjoint family of $2^{\frak c}$ many selectors?

My question arises from a construction I gave in my recent answer to a question of Alexander Pruss concerning large families of independent non-measurable sets of reals. In that argument, using the ...
4
votes
0answers
211 views

Is there some absoluteness between the Boolean valued universe $V^{B}$ and $V$?

It is well known that if $\phi$ is a $\Delta_{1}$-formula and $x_{1},..,x_{n}$ in $V$ and $V[G]$ is a forcing extension, then $V\models\phi(x_{1},...,x_{n})$ if and only if ...
8
votes
2answers
241 views

Images of $\{0,1\}^\kappa$

Is there a compact topological space $(X,\tau)$ such that for no cardinal $\kappa$ there is a surjective continuous map $e:\{0,1\}^\kappa \to X$? (We assume that $\{0,1\}$ is endowed with the ...