As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner's user avatar
Stefan Hoffelner
  • Member for 13 years, 2 months
  • Last seen more than 3 years ago
Profile Activity

18 Questions

Score Activity Newest Views
20 votes
2 answers
3k views

Montague's Reflection Principle and Compactness Theorem

14 votes
0 answers
581 views

Cohen/Random reals over intermediate models in countable support iterations

8 votes
3 answers
688 views

A result of Shelah about the nonstationary ideal

8 votes
1 answer
424 views

Properness of quotient forcing

6 votes
1 answer
301 views

Elementary chains in forcing extensions of $M_1$

6 votes
1 answer
235 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
559 views

Examples of stationary set preserving forcings that are not semiproper?

5 votes
1 answer
477 views

The closure of a generic ultrapower

5 votes
1 answer
548 views

Why is this set stationary?

4 votes
1 answer
242 views

Another question on stationarity

4 votes
1 answer
233 views

Some consequences of internally approachable structures

4 votes
2 answers
416 views

A characterization of stationarity?

3 votes
1 answer
539 views

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

3 votes
3 answers
434 views

Complexity of the statement 'P is proper'

3 votes
1 answer
312 views

Gluing functions together in the generic extension

2 votes
2 answers
281 views

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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.