Goldstern's user avatar
Goldstern's user avatar
Goldstern's user avatar
Goldstern
  • Member for 12 years, 10 months
  • Last seen this week
19 votes
2 answers
750 views

Dual Borel conjecture in Laver's model

13 votes
2 answers
1k views

Finite support iterations of $\sigma$-centered forcing notions

13 votes
1 answer
2k views

Number of linear orders

9 votes
1 answer
810 views

Why is the set-theoretic principle $\diamondsuit$ called $\diamondsuit$?

8 votes
1 answer
239 views

Minimal selector for a family of finite sets

7 votes
2 answers
271 views

Minimal blocks for a family of finite sets

5 votes
2 answers
324 views

A "strong" Galois-Tukey connection between orders with suborders

5 votes
0 answers
196 views

Chain condition in iterated forcing

4 votes
0 answers
211 views

The theory of two finite linear orders

3 votes
0 answers
149 views

A p-point game with infinitely many ultrafilters

2 votes
0 answers
79 views

proper : (proper + $\omega^\omega$-bounding) = generic : x