User Asaf Karagila

10 votes

3 answers

1k views

Universal sets in metric spaces

asked May 10, 2011 at 8:19

10 votes

2 answers

491 views

The transcendence degree of $\mathbb R$ after adding a Cohen

asked Apr 2, 2013 at 8:36

10 votes

4 answers

978 views

On surjections, idempotence and axiom of choice

asked Aug 17, 2012 at 13:09

10 votes

2 answers

399 views

Singular successors without large cardinals

asked Aug 7, 2013 at 17:05

9 votes

3 answers

1k views

First-order axiomatization of free groups

asked May 27, 2013 at 9:58

9 votes

0 answers

760 views

Characterization of Unusual Topologies of $\mathbb R$

asked Jun 1, 2011 at 20:24

9 votes

0 answers

359 views

Is there a "hereditary" construction for $L$?

asked Aug 21, 2014 at 18:33

9 votes

0 answers

271 views

Which forcing types preserve the axiom of determinacy?

asked Aug 25, 2014 at 17:11

9 votes

2 answers

425 views

"Weakly" Woodin cardinals

asked May 27, 2017 at 20:35

9 votes

1 answer

552 views

"Towers" on singular cardinals with countable cofinality

asked Jan 17, 2018 at 11:21

8 votes

0 answers

231 views

Second-order separation schema in Zermelo and Zermelo--Fraenkel

asked Aug 12, 2017 at 21:43

8 votes

1 answer

571 views

On $V$-decisive and weakly homogeneous forcings

asked Oct 19, 2014 at 10:34

8 votes

1 answer

581 views

What consistency results follow the assumption: $\forall\alpha(\aleph_{\alpha+1}\nleq2^{\aleph_\alpha})$?

asked May 8, 2015 at 19:30

8 votes

1 answer

444 views

Uncountable models of Kelley-Morse set theory with only a countable number of sets

asked Jul 14, 2016 at 9:48

8 votes

1 answer

841 views

Destroying Suslin, nothing special

asked Nov 30, 2018 at 15:17

8 votes

3 answers

633 views

Characterizing "bounded" distributivity in terms of dense open sets

asked Nov 8, 2018 at 12:40

8 votes

1 answer

271 views

Example of a distributive forcing which is entirely improper

asked Nov 10, 2021 at 14:55

8 votes

1 answer

280 views

What is the consistency strength of "Singular worldly that is inaccessible in an inner model"?

asked Aug 24 at 10:00

8 votes

1 answer

701 views

$\Delta^0_{\alpha}$ universal sets does not exist

asked Jul 6, 2011 at 18:42

8 votes

1 answer

408 views

If there is a non-constructible real, is there an $L$-generic real?

asked Aug 15, 2013 at 20:45

8 votes

1 answer

768 views

Indescribability of cardinals and categoricity of $V_\kappa$

asked Jul 7, 2013 at 11:08

8 votes

1 answer

334 views

Genericity by names

asked Jan 20, 2014 at 12:54

8 votes

1 answer

672 views

Are superstrong stronger than strongly compact cardinals? (or vice versa)

asked Jan 22, 2014 at 17:36

7 votes

1 answer

454 views

How Random is Cohen?

asked Sep 16, 2013 at 19:30

7 votes

3 answers

673 views

Why does the Solovay-Tennenbaum theorem work?

asked Dec 2, 2012 at 23:44

7 votes

1 answer

506 views

$\Theta$ and the Hartogs of $2^\mathbb R$

asked Jul 25, 2012 at 19:34

7 votes

1 answer

432 views

$\kappa$-scales and the continuum

asked Oct 2, 2010 at 14:13

7 votes

1 answer

448 views

For models of ZF, if for some $A$ we have $L[A] = L$, what can we deduce about $A$?

asked Jul 19, 2011 at 22:52

7 votes

3 answers

437 views

Chain conditions in quotients of power sets

asked Jun 8, 2012 at 13:36

7 votes

1 answer

910 views

Symmetric extensions and class forcing

asked Sep 1, 2011 at 22:12

Stack Exchange Network

131 Questions

Universal sets in metric spaces

The transcendence degree of $\mathbb R$ after adding a Cohen

On surjections, idempotence and axiom of choice

Singular successors without large cardinals

First-order axiomatization of free groups

Characterization of Unusual Topologies of $\mathbb R$

Is there a "hereditary" construction for $L$?

Which forcing types preserve the axiom of determinacy?

"Weakly" Woodin cardinals

"Towers" on singular cardinals with countable cofinality

Second-order separation schema in Zermelo and Zermelo--Fraenkel

On $V$-decisive and weakly homogeneous forcings

What consistency results follow the assumption: $\forall\alpha(\aleph_{\alpha+1}\nleq2^{\aleph_\alpha})$?

Uncountable models of Kelley-Morse set theory with only a countable number of sets

Destroying Suslin, nothing special

Characterizing "bounded" distributivity in terms of dense open sets

Example of a distributive forcing which is entirely improper

What is the consistency strength of "Singular worldly that is inaccessible in an inner model"?

$\Delta^0_{\alpha}$ universal sets does not exist

If there is a non-constructible real, is there an $L$-generic real?

Indescribability of cardinals and categoricity of $V_\kappa$

Genericity by names

Are superstrong stronger than strongly compact cardinals? (or vice versa)

How Random is Cohen?

Why does the Solovay-Tennenbaum theorem work?

$\Theta$ and the Hartogs of $2^\mathbb R$

$\kappa$-scales and the continuum

For models of ZF, if for some $A$ we have $L[A] = L$, what can we deduce about $A$?

Chain conditions in quotients of power sets

Symmetric extensions and class forcing