New reals: Can live with them, can live without them
classification
🧮 math.LO
keywords
livepreservationrealsthemtheoremassumecasecountable
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.