User Burak - MathOverflow

46 votes

5 answers

3k views

History of (proposal of) set-theoretic foundations

asked Sep 4, 2022 at 22:11

43 votes

6 answers

5k views

Hilbert's (cancelled) 24th problem

asked Oct 15, 2015 at 3:39

25 votes

2 answers

2k views

Writing a function on $\mathbb{R}$ as a sum of two injections

asked Nov 24, 2023 at 13:35

21 votes

2 answers

3k views

When does $ZFC \vdash\ ' ZFC \vdash \varphi\ '$ imply $ZFC \vdash \varphi$?

asked Apr 12, 2013 at 6:29

20 votes

5 answers

2k views

Uniqueness results that follow from CH

asked Jul 24, 2024 at 11:51

17 votes

1 answer

563 views

Group actions and "transfinite dynamics"

asked Feb 10, 2020 at 13:48

12 votes

1 answer

480 views

Models with few types in infinitary logics

asked Oct 16, 2017 at 10:54

7 votes

0 answers

354 views

A jump operator for Borel equivalence relations

asked Feb 28, 2015 at 2:22

4 votes

1 answer

426 views

Equality of Borel sets

asked Aug 17, 2015 at 19:41

4 votes

0 answers

215 views

Reference request for an elementary identity in cardinal arithmetic

asked Sep 29, 2020 at 16:45

Stack Exchange Network

10 Questions

History of (proposal of) set-theoretic foundations

Hilbert's (cancelled) 24th problem

Writing a function on $\mathbb{R}$ as a sum of two injections

When does $ZFC \vdash\ ' ZFC \vdash \varphi\ '$ imply $ZFC \vdash \varphi$?

Uniqueness results that follow from CH

Group actions and "transfinite dynamics"

Models with few types in infinitary logics

A jump operator for Borel equivalence relations

Equality of Borel sets

Reference request for an elementary identity in cardinal arithmetic