Semi-proper forcing, remarkable cardinal
β
Ralf Schindler
π
Article
π
2004
π
John Wiley and Sons
π
English
β 150 KB
## Abstract We show that __L__(β) absoluteness for semiβproper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with __L__(β) absoluteness for proper forcings. By [7], __L__(β) absoluteness for stationary set preserving forcings gives an inner model with a st