15

Questions

votes newest views recent

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 74.7k●7●187●343

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

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

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

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

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

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

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

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