Skip to main content

All Questions

Filter by
Sorted by
Tagged with
27 votes
1 answer
2k views

How hard is it to destroy a diamond? (with a real)

If we start with $V\models\lozenge$, it is not hard to force the failure of diamond. You can blow up the continuum, or destroy all the Suslin trees. You can blow up the continuum of $\aleph_1$, and ...
Asaf Karagila's user avatar
  • 39.7k
13 votes
1 answer
1k views

What ccc forcings add a Suslin tree?

In a comment to Miha's question in Forcing PFA with ccc forcing, I suggested that if such situation is even possible, it might be achieved by screwing with PFA by some ccc forcing (e.g. adding a Cohen ...
Asaf Karagila's user avatar
  • 39.7k
12 votes
0 answers
213 views

Is $\kappa \rightarrow [\kappa]^2_3$ the same as $\kappa \rightarrow [\kappa]^2_2$ for inaccessible $\kappa$

The principle $\kappa \rightarrow [\kappa]^2_\alpha$ states that whenever we have a coloring $c:[\kappa]^2\rightarrow \alpha$ there is $H \subset \kappa$ of size $\kappa$ s.t. $|c"[H]^2|<\alpha$. ...
Jiachen Yuan's user avatar
11 votes
1 answer
478 views

Ways to add Aronszajn trees which are neither Souslin nor special

By an Aronszajn tree, I mean a tree of height $\omega_1$ with countable levels and no branch. Such a tree is Souslin if it has no uncountable antichains and special if it can be written as the ...
Corey Bacal Switzer's user avatar
11 votes
0 answers
490 views

$\Sigma^2_1$ and the Continuum Hypothesis

This is a follow up to Will Brian's answer to this recent question. In particular, quoting Brian: "In fact, Paul Larson has pointed out to me that the statement "$\phi$ and $\phi^{-1}$ are conjugate"...
Todd Eisworth's user avatar
11 votes
0 answers
272 views

Preservation of chain condition under strategically closed forcing

It is well-known that $\kappa$-closed forcing preserves $\kappa$-c.c. posets. The same argument works for $\kappa$-strategically closed forcing. Here is the definition: A poset $\mathbb P$ is $\...
Monroe Eskew's user avatar
  • 18.6k
10 votes
0 answers
283 views

Martin's Maximum implies stationary/club Chang's conjecture?

Chang's Conjecture (CC) states: for any $f: [\omega_2]^{<\omega} \to \omega_1$, there exists a set $X\subset \omega_2$ of order type $\omega_1$ such that $|f''[X]^{<\omega}|\leq \aleph_0$. ...
Jing Zhang's user avatar
  • 3,038
9 votes
0 answers
250 views

Distributivity of certain infinite products

Suppose we have a sequence of posets $\{\mathbb P_n : n\in\omega\}$ such that for each $n$, $\mathbb P_{n+1}$ is $|\mathbb P_n|^+$-distributive. Is $\prod_{n>0} \mathbb P_n$ necessarily $|\mathbb ...
Monroe Eskew's user avatar
  • 18.6k
9 votes
0 answers
162 views

Strong Chains in $^{\omega_1}\omega_1$ of length $\omega_3$

In a previous question, I asked about the impact of strong chains in $^{\omega_1}\omega_1$ (e.g., sequences of functions $\langle f_\alpha:\alpha<\kappa\rangle$ in $^{\omega_1}\omega_1$ that are ...
Todd Eisworth's user avatar
9 votes
0 answers
388 views

On the role of $\diamondsuit$

The well-known axiom $\diamondsuit$ states that there is a sequence $\langle A_\alpha:\alpha<\omega_1\rangle$ (a $\diamondsuit$-sequence) of countable sets with the property that for any $A\...
Todd Eisworth's user avatar
8 votes
2 answers
927 views

Size of stationary sets

What can we say about the size of stationary subsets of $P_{\kappa}(\lambda)$ for infinite cardinals $\kappa, \lambda,$ especially when $\kappa=\aleph_1.$ Please give me some references, if there are ...
Mohammad Golshani's user avatar
8 votes
1 answer
838 views

Destroying Suslin, nothing special

Recall that a tree on $\omega_1$ is called Suslin if every chain and antichain are countable. If every level is countable and there are no cofinal branches, then it is called Aronszajn (in particular ...
Asaf Karagila's user avatar
  • 39.7k
8 votes
2 answers
1k views

failure of $\square(\kappa)$ at an inaccessible $\kappa$

How can we force the failure of $\square(\kappa)$ at an inaccessible $\kappa$, where $\square(\kappa)$ is defined as follows: There is a sequence $(C_i:i< \kappa)$ such that: (1) $C_{i+1} = \{i\}$...
Mohammad Golshani's user avatar
8 votes
1 answer
341 views

Iterated forcing and the super tree property at $\omega_2$

It is a theorem of Baumgartner and Laver that iterating Sacks forcings of weakly compact length gives rise to the tree property at $\omega_2$. Natural questions (at least for me) are: do we get ...
Jing Zhang's user avatar
  • 3,038
8 votes
0 answers
206 views

ladder system uniformization at successors of singulars

Shelah proved (paper 667) that if GCH holds and $\lambda$ is singular, then for every stationary $S \subseteq \{ \alpha < \lambda^+ : \text{cf}(\alpha) = \text{cf}(\lambda) \}$, there is a ladder ...
Monroe Eskew's user avatar
  • 18.6k
8 votes
0 answers
241 views

Topological applications of $\mathfrak{p}=\mathfrak{t}$

I'm working on the Malliaris-Shelah's recent result of $\mathfrak{p}=\mathfrak{t}$, but I'm more interested in what possible topological applications can derivate from this equality. Searching in ...
Alexei0709's user avatar
8 votes
0 answers
191 views

Specializing fat trees

The discussion is about trees of height $\omega_1$ that are not necessarily thin, namely, no cardinality constraints on the size of each level. A classcial theorem of Baumgartner states that it is ...
Otto's user avatar
  • 1,006
7 votes
1 answer
299 views

Consistency of Rado's conjecture with not CH

Rado's conjecture (one of many equivalent formulations) states: any non-special tree has a non-special subtree of cardinality $\aleph_1$. "Special" means a tree can be decomposed into countably many ...
Jing Zhang's user avatar
  • 3,038
7 votes
1 answer
425 views

On Consistency of an Existence

Let $\omega \leq \kappa <2^{\omega}$ , $\omega \leq\lambda \leq \kappa$ and $D(\kappa, \lambda)$ be the statement: For all $ \mathfrak{B} \subseteq \mathbf{P}(\omega)$ with $|\mathfrak{B}|=\kappa$...
Rahman. M's user avatar
  • 2,381
7 votes
1 answer
950 views

Is there a monster behind the trees?

First Fix the following notation:‎ ‎ $‎‎\forall ‎\kappa‎\in Card~~~Tp(‎\kappa‎):="‎\kappa‎~has~tree~property"$‎ ‎‎‎‎ The large cardinals as "monsters of heaven" live everywhere in the land of ...
user avatar
6 votes
2 answers
198 views

Separation of almost disjoint families by ground model almost disjoint families

Suppose that $V$ is a model of $\sf ZFC$, and for concreteness I should point that at this point I am interested in $V=L$ as a ground model. Suppose that $V[c]$ is a Cohen extension of $V$ where $c$ ...
Asaf Karagila's user avatar
  • 39.7k
6 votes
1 answer
273 views

$\omega_2$-sequence of Suslin trees

Is it possible to have an $\omega_2$-length sequence of ($\omega_1$-)Suslin trees such that if one builds the product of finitely many trees in that sequence, one ends up with a Suslin tree again? ...
Stefan Hoffelner's user avatar
6 votes
1 answer
419 views

A special c.c.c forcing notion and adding minimal generic reals

This question is related to my question "Forcing with c.c.c forcing notions, Cohen reals and Random reals". A natural way to answer Prikry's conjecture is to build a c.c.c. forcing notion which adds ...
Mohammad Golshani's user avatar
6 votes
0 answers
146 views

Combinatorial characterizations of potentially countably chromatic graphs

Is there a combinatorial characterization of (uncountably chromatic) graphs that are "potentially" countably chromatic? By this I mean: $G=(V,E)$ is a graph such that there exists a cardinal ...
Otto's user avatar
  • 1,006
5 votes
1 answer
203 views

Uniformization of almost disjoint families

Suppose $\mathcal{F} \subseteq \mathcal{P} (\omega) $ is an almost disjoint family and $\aleph_0 < \vert \mathcal{F} \vert = \kappa < 2^{\aleph_0} $. Is it consistent that for some such cardinal ...
Matteo Casarosa's user avatar
5 votes
1 answer
201 views

Negation of CH implied by lots of special subtrees?

In the following, I focus on trees of height $\omega_1$: if there exists a nonspecial tree any of whose $\aleph_1$-subtrees is special, must CH fail? Some neither consistent nor coherent thoughts: ...
Otto's user avatar
  • 1,006
5 votes
2 answers
410 views

Independent families of functions on $\omega$ of size continuum

In Hausdorff's article "Über zwei Sätze von G. Fichtenholz und L. Kantorovich''(1935) one can find the (simplified) proofs of the following two theorems: 1) There are continuum many essentially ...
flos's user avatar
  • 51
5 votes
1 answer
199 views

Are the completeness Games $G_{\lambda+1}(P)$ and $G_{\lambda^+}(P)$ equivalent for INC?

The completeness game $G_{\gamma}(P)$ for a partial order $P$ has players COM and INC play alternatingly and descendingly elements of $P$ with player INC playing first and player COM playing at limit ...
Hannes Jakob's user avatar
  • 1,799
5 votes
1 answer
391 views

Adding large sets not containing countable ground model sets

The question is motivated by Toni's question "Approximation of infinite set in generic extension" (see Approximation of infinite set in generic extension). Before I state the question, let me add ...
Mohammad Golshani's user avatar
5 votes
1 answer
356 views

Calculate the $\downarrow$, $\downarrow\uparrow$ and $\uparrow\downarrow$ cofinalities of the poset of nontrivial finitary partitions of $\omega$

Let $(P,\le)$ be a poset. For a point $x\in P$ let $${\downarrow}x=\{p\in P:p\le x\}\quad\text{and}\quad{\uparrow}x=\{p\in P:x\le p\}$$be the lower and upper sets of the point $x$, and for a subset $...
Taras Banakh's user avatar
  • 41.8k
4 votes
3 answers
395 views

Problem understanding a passage of the proof of $\mathfrak{p}=\mathfrak{t}$ involving forcing

I've a problem with a passage of the proof of Claim 14.7 of the paper "Cofinality spectrum theorems in model theory, set theory, and general topolgy" by Malliaris and Shelah, or equivalently ...
Cla's user avatar
  • 775
4 votes
1 answer
746 views

Can all uncountable (but small) families of sets with positive measure have an uncountable subfamily with an intersection of positive measure?

My general question was is it consistent that any uncountable family of less than $\mathrm{non}(\mathcal{N})$ sets, each with positive measure, has an uncountable subfamily $\mathcal{F}$ s.t. $\bigcap ...
mtg's user avatar
  • 135
4 votes
1 answer
245 views

Suslin representation of sets and limits to Shoenfield's Absoluteness

For any natural number $k \in \omega$ and any set $X$ the set $$T \subseteq \bigcup_{m \in \omega} (\omega^m)^k \times X^m $$ is a tree on $\omega^k \times X$ iff $$(t_o, \ldots, t_k) \in T \: \...
mtg's user avatar
  • 135
4 votes
1 answer
244 views

Strong chains in $[\omega_2]^{\omega_2}$ mod finite of length $\omega_3$

Probing a bit the difference between $[\omega_1]^{\omega_1}$ and $[\omega_2]^{\omega_2}$ modulo the finite sets: Question Can there exist a family $\langle X_\alpha:\alpha<\omega_3\rangle$ of sets ...
Todd Eisworth's user avatar
4 votes
1 answer
209 views

Strongly non-Ramsey order type in polarized partition problems

It is known (a theorem of Komjáth and Hajnal) that it is consistent (by adding a Cohen real to a universe where there is no Suslin line) that there exists an order type $\theta$ such that for any ...
Jing Zhang's user avatar
  • 3,038
2 votes
0 answers
44 views

Diamonds on supercompact $\kappa$ after a $\kappa$-c.c. forcing

Let $\kappa$ be supercompact. Then the (supercompact) Laver diamond holds at $\kappa$: There is $f:\kappa\to V_\kappa$ such that for all $\lambda\geq \kappa$ and $x\in H(\lambda^+)$ there is $j:V\to M$...
Yujun Wei's user avatar