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, 6 months
  • Last seen more than 1 year ago
11 votes
1 answer
443 views

Ways to add Aronszajn trees which are neither Souslin nor special

9 votes
2 answers
526 views

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

9 votes
1 answer
335 views

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

9 votes
3 answers
750 views

Structure theorems for compact sets of rationals

8 votes
1 answer
264 views

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

8 votes
1 answer
334 views

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

8 votes
1 answer
222 views

Aronszajn Trees when AC fails

7 votes
1 answer
327 views

Does Laver Forcing add an infinitely often equal real?

7 votes
1 answer
306 views

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

7 votes
0 answers
152 views

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

5 votes
0 answers
286 views

$\Sigma_n$-complete sets in the Levy hierarchy

5 votes
0 answers
102 views

Comparing Mathias forcing notions relative to various filters

4 votes
1 answer
306 views

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

3 votes
1 answer
203 views

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

3 votes
1 answer
110 views

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