Skip to main content
Corey Bacal Switzer's user avatar
Corey Bacal Switzer's user avatar
Corey Bacal Switzer's user avatar
Corey Bacal Switzer
  • Member for 6 years, 10 months
  • Last seen more than 1 year ago
11 votes
1 answer
462 views

Ways to add Aronszajn trees which are neither Souslin nor special

9 votes
2 answers
530 views

Reals which must, can't or might be added by forcing

9 votes
1 answer
341 views

Effect of adding one Hechler real versus adding two on the meager ideal

9 votes
3 answers
805 views

Structure theorems for compact sets of rationals

8 votes
1 answer
273 views

Paris-Harrington principles parametrized by functions $f:\mathbb N \to \mathbb N$

8 votes
1 answer
342 views

Does $\mathsf{MA}^+(\sigma\text{-closed})$ imply there are no Kurepa Trees?

8 votes
1 answer
226 views

Aronszajn Trees when AC fails

7 votes
1 answer
352 views

Does Laver Forcing add an infinitely often equal real?

7 votes
1 answer
307 views

On the topological complexity of the set of winning strategies for Gale-Stewart Games

7 votes
0 answers
153 views

A model where the uniformity of the meager ideal is strictly below the almost disjointness number

5 votes
0 answers
305 views

$\Sigma_n$-complete sets in the Levy hierarchy

5 votes
0 answers
107 views

Comparing Mathias forcing notions relative to various filters

5 votes
1 answer
311 views

Do Borel subsets of the plane with null sections have Borel projections?

3 votes
1 answer
205 views

Does the Hawaiian Earring Group embed into the permutation group of $\mathbb N$?

3 votes
1 answer
113 views

If one adds an inductive subset to a model of $ACA_0$, do we always get a new model of $ACA_0$?