User Stefan Hoffelner - MathOverflow

Stefan Hoffelner

Member for 13 years
Last seen more than 3 years ago

18 Questions

Score Activity Newest Views

19 votes

2 answers

3k views

Montague's Reflection Principle and Compactness Theorem

asked Mar 19, 2010 at 19:41

14 votes

0 answers

575 views

Cohen/Random reals over intermediate models in countable support iterations

asked Jul 4, 2018 at 21:23

8 votes

3 answers

681 views

A result of Shelah about the nonstationary ideal

asked Oct 3, 2011 at 13:58

8 votes

1 answer

417 views

Properness of quotient forcing

asked Nov 23, 2012 at 16:22

6 votes

1 answer

299 views

Elementary chains in forcing extensions of $M_1$

asked Nov 3, 2015 at 16:21

6 votes

1 answer

231 views

$\omega_2$-sequence of Suslin trees

asked May 4, 2017 at 13:51

6 votes

2 answers

1k views

An exercise in Jech's Set Theory

asked Aug 25, 2011 at 17:18

5 votes

2 answers

403 views

Question about prompt names of ordinals

asked Feb 9, 2012 at 10:06

5 votes

2 answers

551 views

Examples of stationary set preserving forcings that are not semiproper?

asked Apr 17, 2013 at 7:13

5 votes

1 answer

476 views

The closure of a generic ultrapower

asked Apr 20, 2010 at 7:44

5 votes

1 answer

546 views

Why is this set stationary?

asked Oct 7, 2010 at 7:26

4 votes

1 answer

238 views

Another question on stationarity

asked Dec 1, 2010 at 13:24

4 votes

1 answer

231 views

Some consequences of internally approachable structures

asked Jun 15, 2010 at 19:33

4 votes

2 answers

414 views

A characterization of stationarity?

asked Jun 22, 2010 at 16:38

3 votes

1 answer

533 views

Equivalent definitions of $(M,P)$-genericity

asked Oct 27, 2010 at 17:08

3 votes

3 answers

431 views

Complexity of the statement 'P is proper'

asked Nov 3, 2010 at 9:05

3 votes

1 answer

310 views

Gluing functions together in the generic extension

asked Apr 6, 2011 at 15:03

2 votes

2 answers

280 views

Is $sat(I)$ always a regular cardinal?

asked Dec 13, 2010 at 19:40