Skip to main content
Goldstern's user avatar
Goldstern's user avatar
Goldstern's user avatar
Goldstern
  • Member for 15 years
  • Last seen this week
18 votes
2 answers
872 views

Dual Borel conjecture in Laver's model

13 votes
2 answers
1k views

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

12 votes
1 answer
2k views

Number of linear orders

9 votes
1 answer
1k views

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

8 votes
1 answer
304 views

Minimal selector for a family of finite sets

7 votes
2 answers
357 views

Minimal blocks for a family of finite sets

5 votes
2 answers
403 views

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

5 votes
0 answers
269 views

Chain condition in iterated forcing

4 votes
0 answers
160 views

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

3 votes
0 answers
210 views

A p-point game with infinitely many ultrafilters

3 votes
0 answers
245 views

The theory of two finite linear orders