Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner
  • Member for 14 years
  • Last seen more than 4 years ago
9 votes

What ccc forcings add a Suslin tree?

3 votes
Accepted

Preservation of Woodinness when it overlaps the active extender

5 votes
Accepted

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

9 votes

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

3 votes

famous papers/results by non professional mathematicians

2 votes

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

3 votes

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

19 votes

Failures that lead eventually to new mathematics

9 votes

Size of stationary sets

10 votes

Kunen's use of Countable Transitive Models

2 votes

Set theoretic question about real valued functions

3 votes

Complexity of the statement 'P is proper'

2 votes

Normal measures and Elementary Embeddings

6 votes

Examples of ZFC theorems proved via forcing

2 votes

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

9 votes

Notable mathematics during World War II

23 votes

Set theory and Model Theory