15

Questions

votes newest views recent

12

votes

2

answers

548

views

Can measures be added by forcing?

set-theory lo.logic large-cardinals

nov 3 at 16:04 Andres Caicedo 14.4k●1●42●79

1

10

votes

0

answers

453

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

317

views

Does every nonempty definable finite set have a definable member?

set-theory lo.logic

sep 18 at 15:18 François G. Dorais♦ 22.3k●2●48●113

2

8

votes

0

answers

140

views

Homogeneous Namba-like forcing

set-theory large-cardinals forcing lo.logic

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

1

7

votes

2

answers

204

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

1

6

votes

2

answers

265

views

Weakly homogeneous trees under AD

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

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

6

votes

1

answer

261

views

Can $\omega_1$ be supercompact?

set-theory lo.logic large-cardinals forcing

aug 3 at 20:35 Asaf Karagila 7,018●1●14●44

5

votes

0

answers

105

views

Companion of the pointclass of inductive sets

set-theory lo.logic descriptive-set-theory computability-theory

aug 6 at 20:05 Trevor Wilson 1,506●6●14

2

5

votes

0

answers

158

views

Infinity-Borel sets in ZFC

set-theory lo.logic descriptive-set-theory

sep 5 at 3:03 Trevor Wilson 1,506●6●14

5

votes

3

answers

217

views

Strong ideals that are not pre-saturated

set-theory reference-request

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