15

Questions

votes newest views recent

2

2

votes

1

answer

146

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 76.8k●8●192●355

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

2

8

votes

0

answers

149

views

Homogeneous Namba-like forcing

set-theory large-cardinals forcing lo.logic

feb 1 at 0:47 Trevor Wilson 1,505●6●14

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

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

1

9

votes

1

answer

323

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

3

answers

220

views

Strong ideals that are not pre-saturated

set-theory reference-request

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

2

5

votes

0

answers

163

views

Infinity-Borel sets in ZFC

set-theory lo.logic descriptive-set-theory

sep 5 at 3:03 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

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