Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner
  • Member for 13 years
  • Last seen more than 3 years ago
19 votes
2 answers
3k views

Montague's Reflection Principle and Compactness Theorem

14 votes
0 answers
575 views

Cohen/Random reals over intermediate models in countable support iterations

8 votes
3 answers
681 views

A result of Shelah about the nonstationary ideal

8 votes
1 answer
417 views

Properness of quotient forcing

6 votes
1 answer
299 views

Elementary chains in forcing extensions of $M_1$

6 votes
1 answer
231 views

$\omega_2$-sequence of Suslin trees

6 votes
2 answers
1k views

An exercise in Jech's Set Theory

5 votes
2 answers
403 views

Question about prompt names of ordinals

5 votes
2 answers
551 views

Examples of stationary set preserving forcings that are not semiproper?

5 votes
1 answer
476 views

The closure of a generic ultrapower

5 votes
1 answer
546 views

Why is this set stationary?

4 votes
1 answer
238 views

Another question on stationarity

4 votes
1 answer
231 views

Some consequences of internally approachable structures

4 votes
2 answers
414 views

A characterization of stationarity?

3 votes
1 answer
533 views

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

3 votes
3 answers
431 views

Complexity of the statement 'P is proper'

3 votes
1 answer
310 views

Gluing functions together in the generic extension

2 votes
2 answers
280 views

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