User Stefan Hoffelner

23 votes

Set theory and Model Theory

answered Apr 30, 2010 at 11:26

19 votes

Failures that lead eventually to new mathematics

answered Oct 7, 2011 at 6:18

10 votes

Kunen's use of Countable Transitive Models

answered Mar 3, 2011 at 11:08

9 votes

Notable mathematics during World War II

answered Aug 20, 2010 at 13:47

8 votes

Size of stationary sets

answered May 1, 2011 at 12:50

8 votes

The origins of forcing in mathematical logic and other branches of mathematics

answered Sep 16, 2013 at 10:41

8 votes

What ccc forcings add a Suslin tree?

answered Oct 13, 2016 at 10:33

5 votes

Accepted

Showing that $\alpha$ isn't a cardinal in $J_{\alpha+1}^{\vec E}$ for a fine extender sequence $\vec E$

answered Jun 22, 2016 at 15:31

5 votes

Examples of ZFC theorems proved via forcing

answered Oct 18, 2010 at 10:01

3 votes

Complexity of the statement 'P is proper'

answered Nov 3, 2010 at 10:35

3 votes

Accepted

Preservation of Woodinness when it overlaps the active extender

answered Jul 5, 2016 at 9:36

3 votes

Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC

answered Feb 10, 2012 at 21:47

3 votes

famous papers/results by non professional mathematicians

answered May 31, 2013 at 15:17

2 votes

How do we avoid circularity when we build a structure for ZFC?

answered Sep 26, 2012 at 7:18

2 votes

Set theoretic question about real valued functions

answered Dec 19, 2010 at 18:55

2 votes

Normal measures and Elementary Embeddings

answered Oct 28, 2010 at 21:29

2 votes

Two questions about the boolean algebra $P(\kappa)/Cub^*$

answered Sep 3, 2010 at 14:56

Stack Exchange Network

17 Answers

Set theory and Model Theory

Failures that lead eventually to new mathematics

Kunen's use of Countable Transitive Models

Notable mathematics during World War II

Size of stationary sets

The origins of forcing in mathematical logic and other branches of mathematics

What ccc forcings add a Suslin tree?

Showing that $\alpha$ isn't a cardinal in $J_{\alpha+1}^{\vec E}$ for a fine extender sequence $\vec E$

Examples of ZFC theorems proved via forcing

Complexity of the statement 'P is proper'

Preservation of Woodinness when it overlaps the active extender

Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC

famous papers/results by non professional mathematicians

How do we avoid circularity when we build a structure for ZFC?

Set theoretic question about real valued functions

Normal measures and Elementary Embeddings

Two questions about the boolean algebra $P(\kappa)/Cub^*$