New answers tagged forcing
13
votes
Accepted
Does proper forcing preserve properness under PFA?
In $\sf ZFC$, any forcing of the form $\operatorname{Add}(\kappa,1)$, for any $\kappa$, will destroy the properness of some forcing.
Indeed, much more of that is true.
Theorem. (Yoshinobu) Suppose ...
Top 50 recent answers are included
Related Tags
forcing × 843set-theory × 791
lo.logic × 429
large-cardinals × 146
reference-request × 116
model-theory × 43
descriptive-set-theory × 39
axiom-of-choice × 39
infinite-combinatorics × 35
gn.general-topology × 27
boolean-algebras × 25
continuum-hypothesis × 23
inner-model-theory × 21
ultrafilters × 20
independence-results × 17
ct.category-theory × 15
computability-theory × 15
posets × 13
cardinal-characteristics × 12
ho.history-overview × 11
cardinal-arithmetic × 11
measure-theory × 10
determinacy × 10
inner-models × 8
soft-question × 7