User Stefan Hoffelner

24 votes

2 answers

4k views

Montague's Reflection Principle and Compactness Theorem

asked Mar 19, 2010 at 19:41

15 votes

0 answers

610 views

Cohen/Random reals over intermediate models in countable support iterations

asked Jul 4, 2018 at 21:23

8 votes

1 answer

466 views

Properness of quotient forcing

asked Nov 23, 2012 at 16:22

7 votes

3 answers

739 views

A result of Shelah about the nonstationary ideal

asked Oct 3, 2011 at 13:58

6 votes

2 answers

1k views

An exercise in Jech's Set Theory

asked Aug 25, 2011 at 17:18

6 votes

1 answer

325 views

Elementary chains in forcing extensions of $M_1$

asked Nov 3, 2015 at 16:21

6 votes

1 answer

273 views

$\omega_2$-sequence of Suslin trees

asked May 4, 2017 at 13:51

5 votes

2 answers

413 views

Question about prompt names of ordinals

asked Feb 9, 2012 at 10:06

5 votes

1 answer

499 views

The closure of a generic ultrapower

asked Apr 20, 2010 at 7:44

5 votes

1 answer

558 views

Why is this set stationary?

asked Oct 7, 2010 at 7:26

4 votes

1 answer

250 views

Another question on stationarity

asked Dec 1, 2010 at 13:24

4 votes

1 answer

243 views

Some consequences of internally approachable structures

asked Jun 15, 2010 at 19:33

4 votes

2 answers

430 views

A characterization of stationarity?

asked Jun 22, 2010 at 16:38

4 votes

2 answers

619 views

Examples of stationary set preserving forcings that are not semiproper?

asked Apr 17, 2013 at 7:13

3 votes

1 answer

597 views

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

asked Oct 27, 2010 at 17:08

3 votes

3 answers

450 views

Complexity of the statement 'P is proper'

asked Nov 3, 2010 at 9:05

2 votes

2 answers

300 views

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

asked Dec 13, 2010 at 19:40

2 votes

1 answer

320 views

Gluing functions together in the generic extension

asked Apr 6, 2011 at 15:03

Stack Exchange Network

18 Questions

Montague's Reflection Principle and Compactness Theorem

Cohen/Random reals over intermediate models in countable support iterations

Properness of quotient forcing

A result of Shelah about the nonstationary ideal

An exercise in Jech's Set Theory

Elementary chains in forcing extensions of $M_1$

$\omega_2$-sequence of Suslin trees

Question about prompt names of ordinals

The closure of a generic ultrapower

Why is this set stationary?

Another question on stationarity

Some consequences of internally approachable structures

A characterization of stationarity?

Examples of stationary set preserving forcings that are not semiproper?

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

Complexity of the statement 'P is proper'

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

Gluing functions together in the generic extension