**22**

votes

**4**answers

2k views

### When $2^\alpha = 2^\beta$ implies $\alpha=\beta$ ($\alpha,\beta$ cardinals)

Sorry if this is a silly question. I was wondering, under what axioms of set theory is it true that if $\alpha$,$\beta$ are cardinals, and $2^\alpha=2^\beta$, then $\alpha=\beta$? Do people use these ...

**5**

votes

**0**answers

106 views

### all subsets borel

Assume Martin's axiom plus $\neg CH$. It is well known, via almost disjoint forcing, that every set of reals of size less than continuum is an example of a metric space whose subsets are all ...

**5**

votes

**0**answers

71 views

### Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...

**4**

votes

**0**answers

96 views

### What is known about the large cardinal strength of Shelah's categoricity conjecture?

Shelah's categoricity conjecture states that for every Abstract Elementary Class $\mathcal{K}$ there is a cardinal $\mu$ depending only on $\operatorname{LS}(K)$ (i.e. the Löwenheim–Skolem number of ...

**1**

vote

**0**answers

64 views

### Does $\mathfrak{P}(A)\cong\mathfrak{P}(B)$ imply $A\cong B$? [duplicate]

Does $\mathfrak{P}(A)\cong\mathfrak{P}(B)\implies A\cong B$ hold for arbitrary sets $A, B$?
Notation:
We write $\mathfrak{P}(M)$ to denote the power set of a set $M$.
$M_1\cong M_2$ is just an ...

**4**

votes

**2**answers

255 views

### A property of uncountable almost disjoint families

Let $\mathcal{A}$ be an uncountable almost disjoint family (not necessarily maximal) of infinite subsets of $\mathbb{N}$. Denote by $\mathcal{A}_{\subseteq}=\{ B\subseteq\mathbb{N}:|B|=\omega \wedge ...

**5**

votes

**0**answers

147 views

### Theories introduced by a class of forcing notions

The following notion is introduced by Mohammad Golshani. Let $V$ be a model of set theory and let $\mathcal{P}$ be a class consisting of non-trivial forcing notions in $V$. Let
$$Th(V, ...

**6**

votes

**1**answer

146 views

### Mahlo cardinal and hyper k-inaccessible cardinal

It is known that every Mahlo cardinal $\kappa$ is hyper $\kappa$-inaccessible. It the converse true, namely: every cadinal $\kappa$ which is hyper $\kappa$-inaccessible is a Mahlo cardinal ?

**13**

votes

**7**answers

1k views

### Can we disallow finite choice?

When people work with infinite sets, there are some who (with good reason) don't like to use the Axiom of Choice. This is defensible, since the axiom is independent of the other axioms of ZF set ...

**3**

votes

**1**answer

202 views

### How can the critical point of an elementary embedding be omega_1?

I've seen an example of an elementary embedding such that $\omega_1$ is the critical point.
I was wondering what's wrong with the following proof that this cannot be:
Let $\phi(x_1,x_2)$ be the ...

**15**

votes

**1**answer

304 views

### Removing large cardinals from an uncountable transitive model

The usual way of removing large cardinals from a given model of set theory is to cut off the model below the least large cardinal of interest. But this method may have dramatic effects on the external ...

**1**

vote

**1**answer

189 views

### What is the cofinality of the positive measure sets of reals?

What is the minimal cardinality of a family of sets of real numbers, each of positive Lebesgue measure, such that every set of real numbers of positive Lebesgue measure contains some member of the ...

**5**

votes

**1**answer

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

**15**

votes

**1**answer

737 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

**1**answer

222 views

### Club-guessing at $\omega_2$

Let $S=\{\delta<\omega_2:\text{cf}(\delta)=\omega\}$. A well-known theorem of Shelah tells us that we can find $\langle C_\delta:\delta\in S\rangle$ such that
for every club $C\subseteq\omega_2$ ...

**6**

votes

**2**answers

232 views

### The role of the index set in the product of uncountably many topological spaces

Let $\langle X_i,\mathcal{T}_i \rangle_{i\in I}$ be a family of topological spaces. Consider $X=\prod_{i\in I} X_i$ with product topology.
Question. Is there a topological property that holds in ...

**5**

votes

**0**answers

303 views

### Is there any elementary embedding characterization for $\Pi_{1}^{1}$ - reflecting cardinals?

Similar to one of the characterizations of weakly compact cardinals, a $\Pi_{1}^{1}$ - reflecting cardinal is defined as follows:
A cardinal $\kappa$ is $\Pi_{1}^{1}$ - reflecting if $\kappa$ is ...

**12**

votes

**0**answers

151 views

### Do the Laver tables converge to the Sierpinski triangle with a line segment sticking out in the hyperspace topology?

Let $(\{1,...,2^{n}\},*_{n})$ denote the $n$-th Laver table.
Let
$$C_{n}=\{(\frac{x}{2^{n}},\frac{x*_{n}y}{2^{n}})|x,y\in\{1,2,3,...,2^{n}\}\}$$
for all $n\in\mathbb{N}$.
Then since $C_{n}$ is a ...

**6**

votes

**1**answer

529 views

### Replacing Axiom of Choice with Axiom of Countable Choice

Many people find ACC more intuitive than AC ("Pick something from the first set, then something from the second set, then...) and it also doesn't lead to "controversial consequences" (See for eg: ...

**8**

votes

**3**answers

378 views

### Is there a modification of Martin's Axiom which admits non-measurable sets of size less than continuum?

Background/Motivation. We know that some of the usefulness of Martin's Axiom lies in giving certain "smallness" properties to sets of size less than continuum, e.g. we have
that for all infinite ...

**8**

votes

**1**answer

230 views

### Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for some inaccessible $\lambda$?

Is it consistent that there exists an inaccessible cardinal $\lambda$ and a forcing extension $V[G]$ so that $$V[G]\models\text{There is some non-trivial elementary embedding ...

**1**

vote

**1**answer

323 views

### Modern books about orders and algebras on trees [closed]

Please help to find books about orders and algebras on trees.
If there is no modern books, please advice good old ones!
I'm more interested in finite trees (my current problem), but infinite ones are ...

**11**

votes

**2**answers

807 views

### On Hamkins' answer to a problem by Michael Hardy

Based on a post by Michael Hardy and Hamkins' answer to it Andreas Blass, Will Brian, Joel Hamkins, Michael Hardy and Paul Larson introduced a new cardinal characteristic of the continuum ...

**10**

votes

**1**answer

178 views

### Is there a (first-order) sentence which admits $(\aleph_2,\aleph_0)$ iff a Kurepa tree exists?

In Chang and Keisler's Model Theory I came across the following theorem (Theorem 7.2.13):
Theorem There exists a (first-order) sentence $\sigma$ such that for all infinite cardinals $\alpha$, ...

**8**

votes

**1**answer

235 views

### Transitive models and CH

The following was asked on stackexchange but I think it also belongs here:
http://math.stackexchange.com/questions/1513446/transitive-models-and-ch
Suppose $M, N$ are two countable transitive models ...

**7**

votes

**1**answer

125 views

### Consistency Strength of “HC is elementary in V[G]”

Let $P$ be the Levy-collapse of the ordinals, so $P$ is a class forcing notion that makes every ordinal countable.
Note that since $P$ is weakly homogeneous, for any formula $\phi(\overline{a})$ ...

**4**

votes

**0**answers

120 views

### Sacks minimality without choice

The usual argument for the minimality result for Sacks forcing uses choice.
Theorem (Sacks): Let $s \subseteq \mathbb S_\kappa$ be generic for the forcing to add a Sacks subset to $\kappa$, where ...

**10**

votes

**0**answers

274 views

### Is it consistent with ZFC that no nontrivial forcing notion has automatic mutual genericity?

A nontrivial forcing notion $\newcommand\Q{\mathbb{Q}}\Q$ exhibits
automatic mutual genericity, if whenever $G,H\subseteq\Q$ are
distinct $V$-generic filters (existing, say, in some forcing
extension ...

**5**

votes

**0**answers

136 views

### Elementary chains in forcing extensions of $M_1$

Let $M_1$ be the canonical inner model with one Woodin cardinal $\delta$. Now suppose that $\mathbb{P}$ is a forcing notion of size $< \delta$, which preserves $\omega_1$ and that $G$ is a generic ...

**7**

votes

**0**answers

133 views

### $V$ as a $HOD$ of its class generic extension

By an old result of Roguski, The theory of the class $HOD$, any model $V$ of $ZFC$ has a class generic extension $V[G]$ such that $HOD$ of $V[G]$ equals $V$.
This result is also stated and generalized ...

**5**

votes

**1**answer

230 views

### A kind of anti-Ramsey result

In contrast to classic results for arithmetic progressions of arbitrary length in one set at least of any finite partition of IN, it is easy to construct a partition in two sets of integers A and B ...

**16**

votes

**1**answer

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

**7**

votes

**0**answers

183 views

### (A little bit) Beyond the E-recursive

The E-recursive functions are a particular generalization of classical recursion theory to the entire set-theoretic universe, $V$. They are defined via a schemes: see ...

**7**

votes

**0**answers

187 views

### A strengthening of Chang's conjectures

In the Handbook of Set Theory, Foreman has (essentially) the following proposition (3.9):
Suppose $\kappa_n>...>\kappa_0$ and $\lambda_n>...>\lambda_0$ are regular cardinals and ...

**9**

votes

**2**answers

226 views

### Two questions about the “grasp” cardinal function

For a topology $\mathcal{T}$ on a set $S$, where $\mathcal{T}$ does not have a finite base, I define the grasp $g(\mathcal{T})$ to be the least infinite cardinal $\kappa$ such that $\mathcal{T}$ has a ...

**2**

votes

**1**answer

136 views

### Is Extensionality needed for the incompleteness of very weak set theories?

$ST$ is the weak set theory built upon identity theory and containing
the axiom for empty set,
the axiom for adjunction and
the axiom for extensionality.
It is known that $ST$ interprets ...

**6**

votes

**0**answers

146 views

### PCF conjecture and fixed points of the $\aleph$-function

Recently Moti Gitik refuted Shelah's PCF conjecture, by producing a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1.$ See his papers
Short extenders forcings I and Short ...

**7**

votes

**1**answer

317 views

### Is every ordinal potentially definable?

It is easy to see that, if $V\models\alpha>\omega_1^{CK}$, then $\alpha$ is not recursive in any forcing extension of $V$. The argument goes as follows:
The relation "$\Phi_e=r$" is $\Pi^0_2$.
...

**28**

votes

**1**answer

935 views

### Bidi: A new cardinal characteristic of the continuum?

This question assumes familiarity with combinatorial cardinal
characteristics of the continuum.
Identify an infinite set $a\subseteq\mathbb{N}$ with its increasing
enumeration. Thus, for each natural ...

**8**

votes

**1**answer

326 views

### A question about three forcings

Let $P_1$ be the finite support iteration of random forcings of length $\omega$. Let $P_2 = \text{Random} \times \text{Random}$ and $P_3 = \text{Random} \times \text{Cohen}$. Are $P_i, P_j$, for $1 ...

**5**

votes

**0**answers

142 views

### Can one take roots of rank-into-rank embeddings infinitely many times?

If $\lambda$ is a cardinal, then let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $j,k\in\mathcal{E}_{\lambda}$, then define ...

**8**

votes

**1**answer

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

**19**

votes

**1**answer

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

**142**

votes

**27**answers

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

**2**

votes

**0**answers

100 views

### A question regarding an analogue of the Kleene $T$-predicate for Koepke's ordinal computability

Does Koepke's notion of ordinal computability admit an analogue of the Kleene $T$-predicate? If so, is the existence of such a $T$-predicate independent of $ZFC$? Also, if one assumes the existence ...

**17**

votes

**0**answers

384 views

### The cofinality of $(\mathbb{N}^\kappa,\le)$ for uncountable $\kappa$?

For a partially ordered set $P$, a set $A\subseteq P$ is cofinal if for each element of $P$ there is a larger element in $A$. The cofinality of $P$, ${\rm cof}(P)$, is the minimal cardinality of a ...

**52**

votes

**2**answers

15k views

### Is the analysis as taught in universities in fact the analysis of definable numbers?

Ten years ago when I studied in the university I had no idea about definable numbers, but I came to this concept myself. My thoughts were as follows:
All numbers are divided into two classes: those ...

**7**

votes

**1**answer

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

**24**

votes

**0**answers

477 views

### Where do uncountable models collapse to?

Suppose $T$ is a complete first-order theory (in an finite, or at worst countable, language). Given any model $\mathcal{M}\models T$ of cardinality $\kappa$, we can ask whether $\mathcal{M}$ can be ...

**39**

votes

**4**answers

9k views

### Non-Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...