All Questions
6 questions
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 ...
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"...
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\...
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 ...
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
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 ...