15

Questions

votes newest views recent

12

votes

2

answers

554

views

Can measures be added by forcing?

set-theory lo.logic large-cardinals

nov 3 at 16:04 Andres Caicedo 14.8k●1●43●81

1

10

votes

0

answers

460

views

Two-cardinal diamond principles and saturation of the nonstationary ideal

set-theory lo.logic

aug 12 at 0:22 Myron Moses Jackson 1●1

1

9

votes

1

answer

322

views

Does every nonempty definable finite set have a definable member?

set-theory lo.logic

sep 18 at 15:18 François G. Dorais♦ 23.1k●2●52●116

5

votes

0

answers

313

views

Proof of “AD + every set of reals is Suslin” implies AD$_\mathbb{R}$

set-theory descriptive-set-theory lo.logic

oct 19 at 21:50 Trevor Wilson 1,505●6●14

5

votes

0

answers

312

views

Sets of reals amenable to each L[x]

set-theory descriptive-set-theory lo.logic forcing

jul 25 at 19:01 Trevor Wilson 1,505●6●14

1

6

votes

2

answers

271

views

Weakly homogeneous trees under AD

set-theory descriptive-set-theory lo.logic determinacy

aug 14 at 1:30 Trevor Wilson 1,505●6●14

6

votes

1

answer

268

views

Can $\omega_1$ be supercompact?

set-theory lo.logic large-cardinals forcing

aug 3 at 20:35 Asaf Karagila 7,448●1●15●44

5

votes

2

answers

241

views

Measures that are not OD

set-theory lo.logic large-cardinals forcing

jul 16 at 18:43 Joel David Hamkins 76.7k●8●192●355

5

votes

3

answers

220

views

Strong ideals that are not pre-saturated

set-theory reference-request

sep 11 at 19:11 Eran 383●2●8

1

7

votes

2

answers

213

views

Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

set-theory lo.logic large-cardinals

mar 19 at 19:17 Trevor Wilson 1,505●6●14