New reals: Can live with them, can live without them

✍ Scribed by Martin Goldstern; Jakob Kellner

• Book ID: 102484115
• Publisher: John Wiley and Sons
• Year: 2006
• Tongue: English
• Weight: 211 KB
• Volume: 52
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200510018

✦ Synopsis

We give a self-contained proof of the preservation theorem for proper countable support iterations known as "tools-preservation", "Case A" or "first preservation theorem" in the literature. We do not assume that the forcings add reals.