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

5
votes
0answers
72 views

A question about cardinal numbers when the Axiom of Choice is absent

The Axiom of Choice constrains every set of cardinal numbers which is linearly ordered by size to be well-ordered. By contrast, does ZF-without the Axiom of Choice (but with the Axiom of ...
6
votes
0answers
68 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 ...
39
votes
2answers
4k views

A question about ordinal definable real numbers

If ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) is consistent, does it remain consistent when the following statement is added to it as a new axiom? "There exists a denumerably ...
4
votes
1answer
256 views

Re-interpreting vector spaces in a choice-less model of ZF as modules over a regular ring in ZFC

I am searching a module $M$ over a (von Neumann) regular ring $A$ ($\forall a\in A$, $\exists x\in A$: $axa=a$) with two properties: (1) every finitely generated submodule of $M$ is projective ...
6
votes
1answer
227 views

Ultracoproducts and Cartesian products

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$. As a C$^*$-algebraist, I ...
1
vote
1answer
123 views

Is any axiom system for sets categorical? [on hold]

$ZF$ define membership by conditions demanding the existence of some constructable right-side-terms $M $ ($x \in M$). Is it meaningsful to ask for a categorical axiom system here? Shouldn't it be ...
10
votes
2answers
579 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}, ...
5
votes
1answer
219 views

Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...
5
votes
2answers
158 views

Iteration of Proper Forcing and Support of Master Conditions

Suppose $\mathbb{P}$ is a definable proper forcing (for instance Sacks forcing). Let $\alpha$ be some ordinal. Let $\mathbb{P}_\alpha$ be the countable support iteration of $\mathbb{P}$ of length ...
4
votes
4answers
834 views

How short can we state the Axiom of Choice?

How short can we state a principle which is equivalent with the Axiom of Choice under $ZF$? The principle should be a sentence in the language of set theory with only $\in$ and$=$ as extralogical ...
9
votes
0answers
196 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 ...
2
votes
2answers
183 views

Are there fragments of set theory which are axiomatized with only bounded (restricted) quantifiers used in axioms?

Bounded quantifiers in set theory are represented as $(\forall x \in S)$ or $(\exists x \in S)$. But since the modifier "bounded" brings up an association with "bounded variable", I prefer the term ...
-6
votes
0answers
56 views

Let (A,≼A) and (B,≼B) be partially ordered sets. Define C = A×B and define the relation ≼ on C by (a,b)≼(a′,b′) ⇐⇒ (a≼A a′)∧(b≼B b′) [on hold]

Let (A,≼A) and (B,≼B) be partially ordered sets. Define C = A×B and define the relation ≼' on C by (a,b)≼'(a′,b′) ⇐⇒ (a≼A a′)∧(b≼B b′). (a) Prove that ≼' is a partial order on C. (b) Prove that if ...
12
votes
0answers
533 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 ...
6
votes
1answer
265 views

Does OCA imply $2^{\aleph_0}=\aleph_2$?

Is it known whether Todorcevic's Open Coloring Axiom implies $2^{\aleph_0}=\aleph_2$? The only consistency proofs for OCA that I know are the following: 1) PFA implies OCA (and also ...
6
votes
1answer
240 views

Partitioning $\omega_1$-branching trees of size and height $\omega_1$

Is it possible, in ZFC, to find an $\omega_1$-branching tree $(T,\leq)$ of size and height $\omega_1$ such that whenever $T$ is partitioned into countably many sets $T=\bigcup_{n<\omega} T_n$ one ...
1
vote
1answer
147 views

Density with infinite cardinals [on hold]

Let κ ≤ µ infinite cardinals. and lat D(µ, κ) = min{|D| : D ⊆ [µ]^κ ∧ (∀y ∈ [µ]^κ)(∃x ∈ D)(x ⊆ y)} D(µ, κ) is called the density of κ-sets of µ. 1) Suppose κ = cf(µ) < µ. prove that D(µ, κ) > ...
0
votes
0answers
77 views

A question about ordinal numbers and sub-theories of ZF

A number of set theories have been investigated which were obtained from ZF by restricting in various ways, or even deleting, some of the axioms of ZF-such as Power set, Aussonderung, Infinity, ...
9
votes
1answer
314 views

splitting subsets of cardinals

Suppose $\mathbb{P}$ is a separative partial order of uniform density $\kappa$, i.e. for all $p \in \mathbb{P}$, the least size of dense set below $p$ is $\kappa$. Does forcing with $\mathbb{P}$ add ...
2
votes
2answers
225 views

Is not SH + not CH consistent?

I guess that $\lnot$SH + $\lnot$CH is consistent, but I have not found this question discussed anywhere. Is there any relatively simple model of $\lnot$SH + $\lnot$CH?
27
votes
3answers
1k views

Even XOR Odd Infinities?

Modular Arithmetic (MA) has the same axioms as first order Peano Arithmetic (PA) except $\forall x (Sx \ne 0)$ is replaced with $\exists x(Sx = 0)$. ...
7
votes
1answer
228 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 ...
0
votes
0answers
126 views

A not defined notion in Friedman's article about Generalized Fubini's Theorem

I intend to study Friedman's article, A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions (http://projecteuclid.org/download/pdf_1/euclid.ijm/1256047607). I think since I had a modern ...
5
votes
2answers
255 views

non-Borel set which intersects every compact in a Borel set

I remember hearing some time ago that there is a locally compact Hausdorff space $X$ and a non-Borel subset $E$ which intersects every compact set in a Borel set. (This would contradict Lemma 13.9 of ...
2
votes
1answer
180 views

Measure of the same set in different models of ZF

Let $A$ be a definable subset of $\mathbb{R}$ in $\mathsf{ZF}$, and let $\mathcal{M},\mathcal{N}\models\mathsf{ZF}$ such that $A$ is lebesgue measurable in both models. Is ...
0
votes
1answer
256 views

One or two questions about so-called “absolute” set theories

Nearly fifty years ago Takeuti called attention to a phenomenon that occurs in connection with the construction of set theories such as ZF that result in a hierarchy of sets (indexed by ordinal ...
6
votes
1answer
161 views

continuum many mutually generic filters

Given a countable model $M$ of set theory and an atomless, separative partial order $\mathbb{P} \in M$, can we construct (in the real universe) $2^\omega$ many pairwise mutually $\mathbb{P}$-generic ...
7
votes
1answer
220 views

Forcing, cuts, and Dedekind-finite cardinalities

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...
1
vote
0answers
70 views

Question on the consistency of Zermelo set theory minus specification and extensionality [closed]

Let $W=Z^{-}-Specification$ where $Z^{-}=Z-Extensionality$ and Z is Zermelo set theory. What is known about models of $W$ or $W^{+}=W+Extensionality$?
42
votes
13answers
5k views

Proofs of the uncountability of the reals.

Recently, I learnt in my analysis class the proof of the uncountability of the reals via the Nested Interval Theorem. At first, I was excited to see a variant proof (as it did not use the diagonal ...
5
votes
0answers
97 views

A question about ordinal definable sets of real numbers revisited [duplicate]

Citing (almost) A question about ordinal definable real numbers If ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) is consistent, does it remain consistent when the following statement is ...
1
vote
1answer
197 views

Problem of book Kunen [closed]

Suppose $P$ is a notion of forcing in $M$ such that $\left | P \right | \leq \omega_{1}$ and $P$ is ccc. Suppose further $\Diamond$ holds in $M$. How does one show that $\Diamond$ also holds $M[G]$?
6
votes
0answers
98 views

Can $Ded(\kappa)$ be a supremum?

Definition If there is a dense linear order w/o endpoints of size $\lambda$ with a dense subset of size $\kappa$ then write $D(\kappa,\lambda)$. $Ded(\kappa)=\sup_\lambda \{D(\kappa,\lambda)\}$. It ...
5
votes
4answers
1k views

A question about J.H. Conway's SURREAL NUMBERS

My quesion is: What set theory are the mathematicians who are developing the theory of these numbers working in-or are they, in fact, working outside any of the standard set theories?. Each surreal ...
2
votes
1answer
145 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 ...
10
votes
1answer
566 views

Harrington's unpublished note “The constructible reals can be anything”

Around 1974, Leo Harringto wrote an unpublished note entitled "The constructible reals can be anything", in which he proved that it is consistent that being $\Delta^1_n$ is the same as being ...
4
votes
1answer
303 views

Set-theoretic tautologies

Let us consider unquantifed formulas of a set theory (for example, NBG), more precisely, the formulas, constructed from variables and the constants $\emptyset, V$ (the empty set and the class of all ...
2
votes
3answers
268 views

Cardinality of $C^*([0,1])$ [closed]

What is the cardinality of the continuous dual of $C([0,1])$ (the set of continuous functions from $[0,1]\to \mathbb{R}$)?
-5
votes
1answer
134 views

Does an arbitrarily selected infinite number of integers form a set? [closed]

A serial of arbitrarily selected infinite number of integers S = {I1, I2, ...} (not sorted) is a subset of the set of all the integers. But is it a set? If yes, could we determine whether the ...
3
votes
1answer
86 views

Boolean completion (of a forcing notion) isomorphic to each of its cones

Suppose $ \mathbb{P} := (P, {\leq_P}, 1_P) $ is a separative partial order. Let $ \mathbb{B} := \operatorname{RO}(\mathbb{P}) $ denote the Boolean completion. Fix some dense embedding $ i \colon P ...
5
votes
1answer
307 views

Embeddings of forcing notions - preserve properness?

Let $ M $ be a countable, transitive model for $ \mathsf{ZFC}^* $, i.e. for a sufficiently large finite fragment of $ \mathsf{ZFC} $. Suppose that $ \mathbb{P} := (P, {\leq_P}, \mathbb{1}_P) \in M $ ...
4
votes
1answer
175 views

forcing square with small conditions

In the paper, Large cardinals and definable counterexamples to the continuum hypothesis, Foreman and Magidor mention a way to force $\square_{\omega_1}$ with countable conditions. (This is used in ...
4
votes
2answers
161 views

Borel Sets in Sacks Generic Extension

Let $\mathbb{S}$ denote Sacks forcing. This is forcing with perfect trees or equivalently forcing with uncountable Borel subsets of ${}^\omega 2$ with the relation $\subseteq$. Let $G \subseteq ...
6
votes
2answers
397 views

Can we define an “empirically generic” real number?

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...
6
votes
2answers
576 views

Given a cardinal k, what's the biggest dense linear order with a dense subset of size k?

It's not hard to show that for any cardinal $\kappa$, there is no dense linear order without endpoints (DLO) of size greater than $2^{\kappa}$ that has a dense subset of size $\kappa$. But one can ...
0
votes
0answers
31 views

Is the pseudomenon a statement? [migrated]

I'm asking this because I'm teaching a class on paradoxes for kids, and I realized I have no idea what the answer to this question is. It is a research question in the pedagogical sense, I suppose. ...
4
votes
1answer
148 views

Is it compatible with ZF to assume that every amenable discrete group is finite?

The question is in the title, amenability being understood as the existence of a left-invariant finitely additive probability measure on the group of interest. The case of countable groups is treated ...
7
votes
0answers
110 views

Without AC, which implications between the different definitions of amenability still hold?

More precisely, I would like to know which implications between the following definitions of amenability of a discrete countable (or even finitely generated) group can be proved to hold with only ZF ...
4
votes
3answers
328 views

Is every set class generic over a given inner model?

In a paper by B. Mitchell, I stumbled into the following sentence: "In the summer of 1986 Woodin discovered the second of the forcing orders associated with a Woodin cardinal, the extender algebra. ...
14
votes
4answers
1k views

What are the known implications of “There exists a Reinhardt cardinal” in the theory “ZF + j”?

This is, alas, in large part a series of questions on unpublished work of Hugh Woodin; it's also quite frivolous if Reinhardt cardinals turn out inconsistent. Definitions: Call $\kappa$ an ...