Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner
  • Member for 12 years, 11 months
  • Last seen more than 3 years ago
18 votes
2 answers
3k views

Montague's Reflection Principle and Compactness Theorem

14 votes
0 answers
574 views

Cohen/Random reals over intermediate models in countable support iterations

8 votes
3 answers
677 views

A result of Shelah about the nonstationary ideal

8 votes
1 answer
417 views

Properness of quotient forcing

6 votes
1 answer
297 views

Elementary chains in forcing extensions of $M_1$

6 votes
1 answer
227 views

$\omega_2$-sequence of Suslin trees

6 votes
2 answers
1k views

An exercise in Jech's Set Theory

5 votes
2 answers
402 views

Question about prompt names of ordinals

5 votes
2 answers
541 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
545 views

Why is this set stationary?

4 votes
1 answer
235 views

Another question on stationarity

4 votes
1 answer
230 views

Some consequences of internally approachable structures

4 votes
2 answers
413 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
276 views

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