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

116
votes
0answers
9k views

Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that ...
32
votes
0answers
1k views

Set-theoretic reformulation of the invariant subspace problem

The invariant subspace problem (ISP) for Hilbert spaces asks whether every bounded linear operator $A$ on $l^2$ (with complex scalars) must have a closed invariant subspace other than $\{0\}$ and ...
26
votes
0answers
886 views

Concerning the various proofs from the axiom of choice that R^3 admits of surprising geometrical decompositions into circles, skew lines and so on: can we prove in any instance that there are no Borel such decompositions? Or that AC is required?

This question follows up on a comment I made on Joseph O'Rourke's recent question, one of several questions here on mathoverflow concerning surprising geometric partitions of space using the axiom of ...
22
votes
0answers
1k views

Possible troubles in Shelah's book “Cardinal Arithmetic”

I found some possible troubles in Observation 5.3(7) in the Chapter II of the Shelah's book "Cardinal Arithmetic" (page 86). For convenience, I quote the result and the proof in the book here ...
21
votes
0answers
623 views

categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result? Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...
19
votes
0answers
704 views

Supercompact and Reinhardt cardinals without choice

A friend of mine and I ran into the following question while reading about proper forcing, and have been unable to resolve it: Definition. A cardinal $\kappa$ is supercompact if for all ordinals ...
19
votes
0answers
925 views

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

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 ...
16
votes
0answers
351 views

Are there lightweight foundations for arbitrarily extendable objects?

My experience with foundations is rather scant, but I've run into some types of objects that seem to resist the sort of set-theoretic encoding schemes via Kurowski tuples that are rather common for ...
16
votes
0answers
449 views

Dual Borel conjecture in Laver's model

A set $X\subseteq 2^\omega$ of reals is of strong measure zero (smz) if $X+M\not=2^\omega$ for every meager set $M$. (This is a theorem of Galvin-Mycielski-Solovay, but for the question I am going to ...
15
votes
0answers
368 views

If all reals are generic, is the set of reals generic?

Let $W\subseteq V$ be two models of $\sf ZFC$ with the same ordinals. Is the following situation consistent: For every $x\in\Bbb R^V$ there is some $P_x\in W$ such that for some $G\subseteq P_x$ ...
14
votes
0answers
389 views

Souslin trees on the first inaccessible cardinal

This may be well-known or simply deducible from the existing theorems, but I didn't find an answer in my set theory books: Is there a model of $ZFC$ in which there are no $\kappa$-Souslin trees where ...
14
votes
0answers
352 views

Relative consistency of ETCS over the theory of a well-pointed topos with NNO

Gödel's well-known proof of the implication $Con(ZF) \Rightarrow Con(ZFC)$ used the construction of the inner model $L$ in $ZF$ to get a model of $ZFC$ (and in fact much more). However such a ...
14
votes
0answers
528 views

Antichains of Cardinals in ZF Without Choice…

With the Axiom of Choice, the cardinals form a nice linearly ordered "set". In the absence of the Axiom of Choice, the cardinals form a partially ordered "set". Broadly, I am wondering what ...
13
votes
0answers
298 views

A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$? This question is motivated ...
13
votes
0answers
562 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 ...
13
votes
0answers
359 views

Hausdorff gaps and $\mathfrak{p}=\mathfrak{t}$

Recently Malliaris and Shelah proved that $\mathfrak{p}=\mathfrak{t}$ (see: http://math.uchicago.edu/~mem/Malliaris-Shelah-CST.pdf). Their results are far more general, however for the specify context ...
13
votes
0answers
396 views

Some questions about $0^{\sharp}$ and forcing over $L$

1-Let $P\in L$ be a nontrivial set forcing or even a tame class forcing (tameness in the sense of Sy Friedman; see for example his Handbook paper), and let $G$ be $P-$generic over $L$. Then it is ...
13
votes
0answers
369 views

How to prove projective determinacy (PD) from I0?

Martin and Steel (in 1987?) showed that if there are infinite many Woodin cardinals then every projective set of reals is determined (PD). However, it is mentioned in many texts that in 1983/1984 ...
13
votes
0answers
570 views

Does ZF prove that topological groups are completely regular?

Let $\mathbf{G} = \langle G,\cdot,\mathcal{T}\;\rangle$ be a topological group. Let $\mathbf{e}$ be the identity element of $\langle G,\cdot \rangle$. Assume $\{\mathbf{e}\}$ is closed in $\langle ...
12
votes
0answers
550 views

Does every Aronszajn tree has a Suslin or a Special subtree?

Question: Does every $\omega_1$-Aronszajn tree contains a Suslin sub-tree or a special Aronszajn sub-tree? Recall that Suslin trees are $\omega_1$-trees (trees of height $\omega_1$, and countable ...
12
votes
0answers
204 views

Analytic contraction of the Stone-Cech compactification of $\mathbb C$

Let $S$ be the Stone-Cech compactification of $\mathbb C$. Then any meromorphic function $f:\mathbb C \to \mathbb{CP}^1$ extends to $S$. Do the meromorphic functions separate the points of $S$? ...
12
votes
0answers
345 views

How much choice is required to prove concretizability theorems in category theory?

A concretization of a category is a faithful functor to the category of sets. A category is concretizable if there exists such a functor. An evident necessary condition for concretizability is ...
12
votes
0answers
377 views

Categorifications of Zorn's lemma

I'm wondering about categorifications of Zorn's lemma along the following lines. Lemma: if $\mathbf{C}$ is a small category in which every directed diagram of monomorphisms has a cocone of ...
11
votes
0answers
222 views

Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?

I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero. In the 1966 paper "Additive gruppen mit vorgegebener ...
11
votes
0answers
629 views

Can a model of $V\neq L$ contain a class giving the $L$-ordering on all its sets?

This question is inspired by the excellent question by Douglas Ulrich When is $L$-Rank definable in inner models of $V=L$? Suppose $M \in L$ is a countable model of $ZFC$, and furthermore suppose $M ...
11
votes
0answers
263 views

How to measure the strength of Zermelo over bounded Zermelo?

Bounded Zermelo is Zermelo set theory with only bounded separation. It has the same strength as simple type theory or MacLane set theory or ETCS. It is a finitely axiomatized fragment of Zermelo, so ...
11
votes
0answers
509 views

Two-cardinal diamond principles and saturation of the nonstationary ideal

In the paper "Stationary reflection and the club filter", the author Masahiro Shioya says that the club filter on $P_{\omega_1}(\lambda)$ cannot be $2^\lambda$-saturated for $\lambda > \omega_1$, ...
11
votes
0answers
476 views

Lebesgue Measurability and Weak CH

Let $LM$ denote "all subsets of $\Bbb{R}$ are Lebesgue measurable", and $WCH$ (weak continuum hypothesis) denote "every uncountable subset of $\Bbb{R}$ can be be put into 1-1 correspondence with ...
10
votes
0answers
195 views

Is there a “hereditary” construction for $L$?

Recall that $L$, Godel's constructible universe is constructed by defining the following hierarchy: $L_0=\varnothing$, for a limit ordinal $\delta$, $L_\delta=\bigcup_{\alpha<\delta}L_\alpha$, and ...
10
votes
0answers
245 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 ...
10
votes
0answers
168 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 ...
10
votes
0answers
245 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 ...
10
votes
0answers
328 views

Intermediate submodels without Boolean algebras

My question is motivated by the following well-known fact regarding intermediate submodels of generic extensions. I would like to know if it can be proven using posets without the need for Boolean ...
10
votes
0answers
201 views

Absoluteness of “$\kappa$-homogeneously Suslin” for sets of reals

What is known about the absoluteness, or lack thereof, of the notion of "$\kappa$-homogeneously Suslin" for sets of reals? For example, if $A$ is $\kappa$-homogeneously Suslin and $\lambda > ...
10
votes
0answers
472 views

Can one exhibit an explicit Kuratowski infinite set without invoking Replacement?

The customary formulation of the Axiom of Infinity within Zermelo-Fraenkel set theory asserts the existence of an inductive set: a set $ I$ with $\varnothing\in I$ such that $x\in I$ implies ...
10
votes
0answers
388 views

To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...
9
votes
0answers
280 views

Short proof of $\frak p=t$

It is known for a while now that $\frak p=t$, as a result of Malliaris-Shelah. The original paper draws from model theoretic methods. I've heard rumors that there was a proof which was purely set ...
9
votes
0answers
308 views

Ultrafilter theorem and translation invariant measures

The usual Vitali construction of a non-Lebesgue measurable set generalizes to a proof that there are no (non-trivial) translation invariant measures on $\mathcal P\mathbb R$. On the other hand, there ...
9
votes
0answers
173 views

The global dimension of fields

In the absence of the Axiom of Choice, it is not necessarily true that all vector spaces over a field have bases. What are the possible global dimensions of fields in a model of ZF in which AoC ...
9
votes
0answers
381 views

Existence of a regular subposet which collapses everything except the top cardinal

Suppose $\delta$ is an inaccessible cardinal, and $\mathbb{P}$ is the Levy Collapse $\text{Col}(\kappa, \delta)$ which adds a surjection from $\kappa \to \delta$ (for some regular $\kappa < ...
9
votes
0answers
256 views

Various definitions of recursion from ordinal machines

Background: I'm trying to get an intuitive understanding of α-recursion and related concepts in higher recursion theory. Once nice book is Peter Hinman's Recursion-Theoretic Hierarchies, available ...
9
votes
0answers
2k views

Model-theoretic content of Mochizuki's Teichmüller theory papers

I would like to ask what the specific novel model-theoretic (or set-theoretic) techniques, if any, are that Mochizuki uses in his recent series of four papers. Section 3 of Inter-universal Teichmüller ...
9
votes
0answers
464 views

Existence (or non) of “definable” ultrafilters

This is a question which I suspect has an absurdly easy answer, but I'm not seeing it. Let $\langle\cdot,\cdot\rangle:\omega^2\rightarrow\omega$ be your favorite pairing map (for me, this is the ...
9
votes
0answers
177 views

full support iteration of semiproper forcings

Suppose $\langle P_\alpha,\dot{Q}_\alpha:\alpha\leq\omega_1\rangle$ is a full support iteration of (semi)proper forcings. Is the full limit $P_{\omega_1}$ (semi)proper or at least stationary set ...
8
votes
0answers
302 views

“Hard” separation results in reverse mathematics (or similar)

This is a fairly broad question. In particular, I specify 5 questions (Q1, Q2.1, Q2.2, Q3, Q4) which for me all fall under one umbrella. Since this is unreasonably broad, I'm really interested in an ...
8
votes
0answers
443 views

Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$. A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...
8
votes
0answers
160 views

Critical Points of Rank-into-Rank Embeddings

A rank-into-rank embedding is a non-trivial elmentary embedding from a rank initial segment of $V$ into itself: $j:V_\delta\prec V_\delta$. Define the critical sequence of such an embedding by setting ...
8
votes
0answers
143 views

Consistency strength of saturated ideals on $[\lambda]^{<\kappa}$

In the Handbook of Set Theory, Foreman notes that in models constructed by Magidor from a huge cardinal, there exists a normal ideal on $[\omega_2]^{<\omega_1}$ that is $\omega_3$-saturated. Other ...
8
votes
0answers
139 views

$\kappa$-dense ideals on successor $\kappa$

Woodin gave a consistency proof of a normal $\omega_1$-dense ideal on $\omega_1$ from an almost-huge cardinal. He never published this argument, but it is written up by Foreman in the Handbook of Set ...
8
votes
0answers
258 views

Forcing to “minimally” add new reals.

Suppose that I want to force to add a "single" new subset of $\omega$ and not much else. For example, consider the Cohen forcing consisting of finite partial functions from $\omega$ to 2. The forcing ...