**9**

votes

**2**answers

723 views

### The impact of large cardinals in mathematics [on hold]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular:
Question 1. What is the philosophy behind accepting large ...

**8**

votes

**2**answers

243 views

### cardinality of perfect sets in generalized Baire space

I've been unable to find an answer to the following question in the literature
on generalized descriptive set theory. Consider Baire space $\kappa^{\kappa}$
where $\kappa$ is inaccessible. The basic ...

**3**

votes

**1**answer

153 views

### Preservation Results for Iterations of Non-Proper Forcing

Suppose $\mathbb{P}$ is a forcing with the following properties: Let $G \subseteq \mathbb{P}$ be filter generic over $V$, then there exists $A \in V[G]$ such that $V[G]$ thinks $A$ is countable and $A ...

**7**

votes

**5**answers

696 views

### What is the best way to construct an Aronszajn Tree?

What is the best definition of Aronszajn tree? And, what is the best proof that it exists?
So I write the question to learn more about Aronszajn trees, any further detail is my intention to ...

**5**

votes

**2**answers

299 views

### If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?
The answer is negative, and in the interests of self-contained ...

**6**

votes

**1**answer

182 views

### On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...

**9**

votes

**1**answer

463 views

### Is $\mathbb{R}$ a $\mathbb{C}$-module without AC?

Assuming ZFC. We can make $(\mathbb{R},+)$ into a nontrivial(scaler multiplication is not identicaly zero) $\mathbb{C}$-module.
Now my questions are?
0.Is it consistent with $ZF$ that $\mathbb{R}$ is ...

**4**

votes

**1**answer

168 views

### A Question Regarding Weak Diamond

In Assaf Rinot's survey article "Jenson's diamond principle and its relatives", he proves the following fact:
Fact 2.5:For every stationary set S, $\Phi_{S}$...entails that no ladder system ...

**6**

votes

**1**answer

236 views

### higher-order reflection

In the first-order context, "reflection" of a formula $\varphi(x)$ below $\kappa$ refers to the the following situation:
There are many ordinals $\alpha<\kappa$ such that for all $a \in ...

**5**

votes

**1**answer

345 views

### Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?

This question arises from an issue arising in user38200's recent question concerning models of set theory in which every definable set has a definable element. In my answer to that question, with ...

**7**

votes

**3**answers

532 views

### Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?

I consider definability to mean one of either cases:
Definability without parameters (in the language of set theory), or
Definability from ordinals and a real (in the same language).
So my ...

**4**

votes

**1**answer

193 views

### Constructing a function from preimages

This question was inspired by Can we build a continuous function from "fibers"/preimages defined over a topological base?
Let $X,Y$ be sets and $L\subseteq \mathcal{P}(Y)$. Suppose $L$ has ...

**4**

votes

**0**answers

161 views

### A question about $\dot{S^Q}$-semiproperness and revised countable support iterated forcing of length a limit ordinal

For a forcing notion $Q$, let $\dot{S^Q}$ be the $Q$-name for the class of ordinals $\{\kappa : \kappa = \omega_1^{V}$ $or$ $\kappa$ $is$ $a$ $regular$ $uncountable$ $cardinal \}$ in $V^Q$.
We say ...

**6**

votes

**1**answer

317 views

### Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is:
Question 1. Which different approaches to set theoretic forcing are ...

**3**

votes

**2**answers

155 views

### Operators on $\ell_\infty(\Gamma)$ and almost disjoint families of subsets

It is well known that given an operator $T:\ell_\infty\to\ell_\infty$ such that $Tx=0$ for each $x\in c_0$ there exists an infinite subset $M$ of the positive integers so that $Tx=0$ for each $x\in ...

**6**

votes

**0**answers

218 views

### Silver's unpublished work on reverse Easton iteration

Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal.
At most papers ...

**6**

votes

**1**answer

329 views

### A “good scale” that is not really a scale

I don't know much about singular cardinal combinatorics, so I apologize in advance if I write something that is wrong or looks funny. First let me recall some basic definitions.
Let $\lambda$ be a ...

**27**

votes

**3**answers

744 views

### Is the fixed point property for posets preserved by products?

Recall that a partially ordered set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point.
Theorem. Suppose $P$ and $Q$ are posets ...

**6**

votes

**1**answer

88 views

### $RUCar^{V}$-semiproperness implies properness

This is a claim in Shelah's Proper and Improper Forcing, more specifically Claim 2.3(1) of Chapter X (p. 484). The proof of the claim is "Easy" but I cannot quite figure it out. There must be some ...

**16**

votes

**1**answer

429 views

### Three old questions on the Sacks forcing

I came across the two following Qs in 1970.
Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...

**10**

votes

**1**answer

328 views

### Erdős cardinals and ineffable cardinals

In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have ...

**11**

votes

**3**answers

525 views

### Can Suslin (or Aronszajn) lines ever be orderings of abelian groups?

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way?
Let $\mathcal{C}$ be a class of ...

**20**

votes

**2**answers

760 views

### construction of nonmeasurable sets

I have a history question for which I've had trouble finding a good answer.
The common story about nonmeasurable sets is that Vitali showed that one existed using the Axiom of Choice, and Lebesgue et ...

**5**

votes

**0**answers

139 views

### A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$.
Question 1: Is it ...

**9**

votes

**2**answers

205 views

### What is the maximal number of distinct values of the product of n permuted ordinals

Because addition and multiplication of two order types are non-commutative operations, we have that for every integer n, given n ordinals, there are at most n! distinct possible values for the sum (or ...

**6**

votes

**2**answers

324 views

### Exponentiation and Dedekind-finite cardinals

It is known that the sum and the product of two Dedekind-finite cardinals are also Dedekind-finite cardinals. What about cardinal exponentiation ?
Question: Let A and B be two Dedekind-finite ...

**9**

votes

**0**answers

149 views

### Which forcing types preserve the axiom of determinacy?

Do we have some rudimentary understanding of some properties that a forcing can have in order to guarantee that it doesn't violate the axiom of determinacy?
To be more specific, in Which forcings ...

**5**

votes

**1**answer

218 views

### Which axioms of ZF are used for finite choice?

Apologies if this is a silly question, not an expert in set theory but just wondering about it.
ZF implies finite choice. But let's suppose one wanted to work without it. The thinking here is being ...

**4**

votes

**0**answers

123 views

### Ultracoproducts of C(X)-algebras

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

**6**

votes

**1**answer

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

**7**

votes

**0**answers

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

**10**

votes

**0**answers

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

**1**

vote

**1**answer

157 views

### Is any axiom system for sets categorical? [closed]

$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

**0**answers

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

**4**

votes

**4**answers

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

**2**

votes

**2**answers

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

**5**

votes

**2**answers

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

**6**

votes

**1**answer

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

**5**

votes

**1**answer

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

**8**

votes

**2**answers

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

**0**

votes

**0**answers

85 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, ...

**1**

vote

**1**answer

158 views

### Density with infinite cardinals [closed]

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(µ, κ) > ...

**2**

votes

**2**answers

238 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?

**7**

votes

**1**answer

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

**6**

votes

**1**answer

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

**0**

votes

**0**answers

137 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

**2**answers

277 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

**1**answer

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

**6**

votes

**1**answer

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

**1**

vote

**0**answers

73 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$?