15

Questions

votes newest views recent

5

votes

2

answers

234

views

Measures that are not OD

set-theory lo.logic large-cardinals forcing

jul 16 at 18:43 Joel David Hamkins 75.1k●7●187●343

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,506●6●14

5

votes

0

answers

312

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,506●6●14

1

3

votes

1

answer

185

views

sigma-algebra generated by OD sets

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

jul 26 at 19:49 Joel David Hamkins 75.1k●7●187●343

1

2

votes

1

answer

138

views

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

set-theory large-cardinals forcing lo.logic

mar 21 at 1:38 Joel David Hamkins 75.1k●7●187●343