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

6
votes
1answer
203 views

Tree property and singular strong limit cardinals

I heard that the following theorem is proved recently by Foreman-Magidor, which answers a famous old open question: Theorem. It is consistent, relative to the existence of large cardinals, that ...
22
votes
5answers
1k views

Why should we care about “higher infinities” outside of set theory?

Let's say you are a prospective mathematician with some addled ideas about cardinality. If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :) If you ...
1
vote
1answer
93 views

Notation: $Sigma$ and $Pi$ of intersections

In Jech - Set Theory, the proof of Theorem 31.7, I came along some notations I wish to understand correctly. For a countable elementary substructure $M \prec H_\lambda$ and $A \in M$ and a generic ...
2
votes
1answer
334 views

Preservation of $\diamondsuit$ by ccc forcings of size $\leq \omega_1$

This is essentially exercise H8 (p.248) of Kunen's Set Theory: An Introduction to Independence Proofs (old edition), or exercise IV.7.58 (p.307) of Kunen's Set Theory (new edition). Suppose $P$ is ...
4
votes
2answers
129 views

Natural examples of $\bf\Sigma^0_3$ equivalence relations

I have been reading about Borel equivalence relations and I have noticed that while $\bf\Sigma^0_3$ equivalence relations are mentioned, there is a conspicuous absence of natural examples (other than ...
4
votes
1answer
135 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$ ...
3
votes
1answer
124 views

Injective subset function

Let $X$ be a non-empty set and let $F: X \to {\cal P}(X)$ be a function with the following property: for $A \subseteq X$ we have $|A| \leq |\bigcup F(A)|$. Does this imply that there is an ...
2
votes
0answers
143 views

On generic forcing conditions

Let $P$ be a forcing poset, and $Q \in V^P$ a forcing poset in $V^P$. Let $M \prec H(\lambda)$ ($\lambda$ sufficiently large) countable with $P,Q \in M$. What I want to know is if then the following ...
5
votes
1answer
163 views

Consistency of the nonrigidity of $P(\omega_1)/NS$

Is it consistent with ZFC that there exists an automorphism of $P(\omega_1)/\mathrm{NS}_{\omega_1}$ which is not the identity?
0
votes
0answers
96 views

Defining Global Choice in terms of strong limit cardinals over $ZF$

In his answer to user33038's mathoverflow question "What axioms are stronger than the Axiom of choice?", Prof. Hamkins writes: "What's more, the axiom of choice is equivalent over $ZF$ to the ...
2
votes
0answers
112 views

RCS iteration such that the RCS limit is semi-proper

For a countable ordinal $\eta$ and an ordinal $\gamma$ let $\langle P_\alpha, \dot{Q}_\alpha \colon \alpha < \gamma \rangle$ be an RCS iteration with RCS limit $P_\gamma$, such that ...
5
votes
1answer
180 views

A question regarding strong cardinals and measure sequence

Let $E$ be a $(\kappa, \lambda)$-extender such that $j: V\to M\simeq Ult(V,E)$ is the corresponding elementary embedding with critical point $\kappa$, $M\supset V_{\kappa+2}$, $M^\kappa\subset M$. Let ...
8
votes
2answers
292 views

Has by well-foundedness every non-empty class an $R$-minimal element? Also if axiom REG is not assumed?

I asked this question here on Math.SE but uptil now it was not answered. So I decided to give it a try. Thank you in advance. Working in $\mathbf{ZF}$ let $R$ be a proper class of ordered pairs that ...
3
votes
2answers
177 views

Hedetniemi's conjecture for graphs with countable chromatic number

Are there graphs $G, H$ such that $\chi(G) = \chi(H) = \aleph_0$, but $\chi(G\times H) < \aleph_0$?
54
votes
5answers
3k views

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a fixed set X. We may order the topologies by refinement, so that τ ≤ σ just in case every τ open set is open in σ. ...
6
votes
0answers
146 views

rigidity of $\mathcal P(\omega_1) / NS$ under MA

In Woodin's book, Lemma 5.100 asserts that if $MA_{\omega_1}$ holds and there is an $\omega_2$-saturated ideal $I$ on $\omega_1$, then $\mathcal P(\omega_1)/I$ is a rigid boolean algebra, meaning it ...
2
votes
0answers
106 views

What other axioms for set theory can be written in the form: “If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic”?

The "injective continuum function hypothesis" (ICF) is the following statement. ICF (Version 0). For all cardinal numbers $\kappa$ and $\nu$, we have $2^\kappa = 2^\nu \rightarrow \kappa = \nu.$ ...
15
votes
3answers
429 views

Does every set $X$ have a topology for which the only continuous self-surjection is the identity map?

This question is a special case of Dominic van der Zypen's question Reconstructing relations with the image relation of a topology, as discussed in the comments, particularly the comment of Eric ...
8
votes
1answer
370 views

Does there exist an uncountable partition of a Polish space so that the union of any collection of blocks is Borel?

Is it consistent that there exists a partition $P$ of the real number line $\mathbb{R}$ such that $|P|>\aleph_{0}$ but where $\bigcup R$ is Borel whenever $R\subseteq P$? If ...
5
votes
1answer
158 views

Implications between different covering properties of spaces

Let $X$ be a set. A set ${\cal C}\subseteq {\cal P}(X)$ is said to be a cover of $X$ if $\bigcup {\cal C} = X$ and $X\notin {\cal C}$. If ${\frak U}$ and $\frak{W}$ are collections of covers of a ...
3
votes
1answer
225 views

Strong measure zero sets and selection principles

A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...
20
votes
0answers
1k views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property, without Choice

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
136
votes
27answers
16k 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 ...
13
votes
1answer
441 views

Avoiding countable subgroups of a group homeomorphic to the Cantor space

The following question is motivated by the paper [Brian, Mislove, Every compact group can have a non-measurable subgroup]. A positive solution to a variation of the following problem implies a ...
4
votes
1answer
276 views

“set of all irreducible representations of a group”, set-theoretic issues [closed]

I am working on a problem related to representations of the Weil group of a local field $\mathcal{W}_F$. In many articles one introduces the set $\hat{\mathcal{W}}_F$ of all equivalence classes of ...
1
vote
0answers
191 views

Some questions regarding Shelah's revised Generalized Continuum Hypothesis [closed]

It is well known that $\mathsf{ZF}+\mathsf{GCH}\vdash\mathsf{AC}$ (which means that the Kunen inconsistency can be proven in $\mathsf{ZF}+\mathsf{GCH}$). Consider now Shelah's revised Generalized ...
14
votes
3answers
628 views

Is Monsky's theorem depending on axiom of choice ?

The extension of the 2-adic valuation to the reals used in the usual proof uses clearly AC. But is this really necessary ? After all, given a equidissection in $n$ triangles, it is finite, so it ...
11
votes
0answers
255 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 ...
4
votes
0answers
93 views

Optimal tiling for a collection of partitions

I'm interested in a possible generalization of Tiling relation on the set of partitions (the question has only been partially answered). Let $x$ be an infinite set and let $\text{Part}(x)$ be the ...
2
votes
0answers
114 views

How distributive are the bad Laver tables?

Suppose that $n\in\omega\setminus\{0\}$. Then define $(S_{n},*)$ to be the algebra where $S_{n}=\{1,...,n\}$ and $*$ is the unique operation on $S_{n}$ where $n*x=x$ $x*1=x+1\,\text{mod}\, n$ and if ...
10
votes
2answers
374 views

Constructing an $\omega_1$-sequence of functions that almost extend all previous functions

I want to construct a sequence of functions $$f_\alpha: \alpha \rightarrow \omega,\ \alpha < \omega_1$$ such that for all $\alpha < \omega_1$ the following holds: $f_\alpha$ is injective. ...
6
votes
1answer
185 views

Reverse of a termspace forcing fact

Suppose $\kappa$ is an inaccessible cardinal. Consider the termspace forcing for adding a Cohen subset of $\kappa$ after $\mathbb P= Col(\omega,<\kappa)$. Members are Levy names for countable ...
10
votes
1answer
300 views

Connected but no path connected components

Is there a Borel subset of plane which is connected but whose only path connected components are singletons? I know that a Bernstein set is a non Borel example of such a set. Thanks!
3
votes
1answer
111 views

Cardinality of pairwise non-isomorphic complete lattices on an infinite cardinal $\kappa$

Suppose $\kappa$ is an infinite cardinal. Let $\cal S$ be a collection of pairwise non-isomorphic complete lattices on the ground set $\kappa$. What cardinality can $\cal S$ have at most? Is the ...
14
votes
1answer
751 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 ...
12
votes
1answer
581 views

Does “cardinal arithmetic is well-defined” imply axiom of choice?

Let me quickly explain what I mean with my question. Let $(\kappa_i)_{i\in I}$ be a collection of cardinal numbers, indexed by elements of some set $I$. We can try to define $\sum\limits_{i\in ...
25
votes
4answers
1k views

Does every set of reals contain a measure-zero set of the same cardinality? Does it contain a meager set of the same cardinality?

This question arises from an issue in my post on Ashutosh's excellent question on Restrictions of the null/meager ideal. Question 1. Does every set of reals contain a measure-zero subset of the same ...
7
votes
1answer
176 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 ...
10
votes
1answer
248 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 ...
4
votes
1answer
161 views

Can we always add sets without collapsing cardinals or adding [very] bounded sets?

Given a model of $\sf ZFC$, and an infinite ordinal $\alpha$. Can we prove that there is always a cardinal $\kappa$, and a forcing $\Bbb P$, such that: $\Bbb P$ does not add sets of rank ...
9
votes
2answers
671 views

The status of 'the consistency of NF relative to ZF'

One of the responses to my Mathoverflow question No. 122658 hinted that a proof (or the outline of a proof) of the consistency of NF relative to ZF was on the horizon and was to be presented at a ...
6
votes
2answers
404 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 ...
-1
votes
1answer
223 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 ...
5
votes
1answer
245 views

Transcendental distance sets

Define a set $S \subset \mathbb{R}^d$ as a transcendental distance set if the distance between any pair of distinct points of $S$ is transcendental. For example, $S = \{ k \, \pi \;\mid\; k=1,2,\ldots ...
6
votes
0answers
173 views

$\alpha$-minimal degrees for singular $\alpha$

An important question in $\alpha$-recursion theory is whether there is a minimal $\alpha$-degree at $\alpha=\aleph_\omega.$ Question 1. Who first introduced the above question, and where can I find ...
11
votes
1answer
519 views

A question of Erdős

In the following paper (pages 122-23), Erdős asks if there is a constant $c > 0$ such that every subset $A$ of plane of area more than $c$ contains the vertices of a triangle of unit area. Is this ...
9
votes
1answer
552 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 ...
14
votes
3answers
604 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 ...
15
votes
0answers
374 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})$ ...
7
votes
1answer
278 views

A question related to Woodin's $HOD$ conjecture

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of ...