9

votes

answer

227

views

Do indiscernibility embeddings exist for an initial segment of an inner model of many measurable cardinals?

feb 17 12 at 0:10 Philip Welch 936●7●7

5

votes

1

answer

343

views

Characterizing elementary embeddings of $L$ and $L_\alpha$ under 0#

lo.logic set-theory large-cardinals inner-model-theory

aug 21 11 at 19:20 Ali Enayat 4,459●1●9●23

5

votes

1

answer

166

views

$\Sigma_n$ version of HOD

lo.logic set-theory

aug 13 11 at 4:14 François G. Dorais♦ 23.1k●2●52●116

5

votes

1

answer

246

views

Completeness of the club filter without AC

set-theory axiom-of-choice

nov 25 10 at 6:59 Andres Caicedo 14.8k●1●43●81

8

votes

2

answers

540

views

Model of ZF + $\neg$C in which Solovay’s Theorem on stationary sets fails?

lo.logic set-theory large-cardinals

feb 7 10 at 3:28 alephomega 1,721●1●6●19

8

votes

2

answers

640

views

Is it possible for countably closed forcing to collapse $\aleph_2$ to $\aleph_1$ without collapsing the continuum?

set-theory lo.logic forcing

feb 10 10 at 20:55 Norman Lewis Perlmutter 712●3●8

6

votes

2

answers

348

views

closure of separative quotients

set-theory lo.logic forcing order-theory

feb 10 10 at 21:22 Norman Lewis Perlmutter 712●3●8

Questions

Do indiscernibility embeddings exist for an initial segment of an inner model of many measurable cardinals?

Characterizing elementary embeddings of $L$ and $L_\alpha$ under 0#

$\Sigma_n$ version of HOD

Completeness of the club filter without AC

Model of ZF + $\neg$C in which Solovay’s Theorem on stationary sets fails?

Is it possible for countably closed forcing to collapse $\aleph_2$ to $\aleph_1$ without collapsing the continuum?

closure of separative quotients