Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner
  • Member for 12 years, 10 months
  • Last seen more than 3 years ago
21 votes

Set theory and Model Theory

19 votes

Failures that lead eventually to new mathematics

10 votes

Kunen's use of Countable Transitive Models

9 votes

What ccc forcings add a Suslin tree?

8 votes

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

8 votes

Size of stationary sets

8 votes

Notable mathematics during World War II

6 votes

Examples of ZFC theorems proved via forcing

5 votes
Accepted

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

3 votes
Accepted

Preservation of Woodinness when it overlaps the active extender

3 votes

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

3 votes

famous papers/results by non professional mathematicians

3 votes

Complexity of the statement 'P is proper'

2 votes

Set theoretic question about real valued functions

2 votes

Normal measures and Elementary Embeddings

2 votes

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

2 votes

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