All Questions
Tagged with forcing infinite-combinatorics
36 questions
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 ...
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 ...
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$.
...
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 ...
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"...
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 $\...
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$.
...
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 ...
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 ...
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\...
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 ...
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 ...
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\}$...
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 ...
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 ...
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 ...
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 ...
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 ...
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$...
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 ...
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$ ...
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?
...
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 ...
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 ...
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 ...
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: ...
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 ...
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 ...
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 ...
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 $...
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 ...
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 ...
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 \: \...
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 ...
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 ...
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$...