William's user avatar
William's user avatar
William's user avatar
William
  • Member for 10 years, 4 months
  • Last seen more than 4 years ago
11 votes
3 answers
1k views

Forcing with Nontransitive Models

11 votes
1 answer
658 views

Can Sacks forcing add a Cohen generic real over $L$?

10 votes
3 answers
896 views

Preserving $\omega_1$ is Inaccessible to the reals

8 votes
1 answer
289 views

$\mathsf{AD}_\mathbb{R}$ and Elementary Embeddings

7 votes
1 answer
204 views

Forcing Extension of Countable Linearly Iterable Structures

7 votes
2 answers
455 views

Preservation Results for Iterations of Non-Proper Forcing

7 votes
2 answers
490 views

Weakly Compact Cardinal and Iterability

6 votes
2 answers
374 views

Borel Sets in Sacks Generic Extension

6 votes
2 answers
346 views

Iteration of Proper Forcing and Support of Master Conditions

6 votes
2 answers
450 views

Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

5 votes
1 answer
320 views

Are Sharps in Countable Models Really Sharps?

5 votes
1 answer
294 views

Universally Baire Tree Representation of Projective Sets

5 votes
1 answer
348 views

Is Every New Real in the Silver Extension a Silver Generic Real?

5 votes
1 answer
108 views

Property of $L$ Relating to Reflection

5 votes
2 answers
446 views

Generic Ultrapower as a Class

5 votes
1 answer
244 views

Martin-Solovay Tree of Weakly Homogeneous Tree under $\mathsf{AD}_\mathbb{R}$

4 votes
2 answers
504 views

Formalizing Elementary Embeddings and Substructures in ZFC

4 votes
1 answer
393 views

Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

4 votes
1 answer
208 views

Absoluteness between $L_\kappa$ and $L$

4 votes
0 answers
256 views

Recursively Pointed Sacks Forcing and Preserving $\omega_1$

4 votes
1 answer
292 views

Sharps and Every Set is Constructible from a Real

3 votes
1 answer
247 views

Scott Rank of Models of Infinitary Sentences

2 votes
1 answer
236 views

Intermediate Extensions Determined by Reals

1 vote
1 answer
247 views

Absoluteness and Tree Representations