Understanding Preservation Theorems, Chapter VI of Proper and Improper Forcing, I
Chaz Schlindwein
TL;DR
This paper provides an exposition of key preservation theorems in proper forcing, focusing on CS iteration and properties like omega-omega bounding, Sacks, and P-point, as detailed in Shelah's work.
Contribution
It offers a detailed explanation of preservation theorems in proper forcing, clarifying complex concepts from Shelah's chapter for better understanding.
Findings
Clarifies preservation theorems for proper forcing
Explains CS iteration properties like omega-omega bounding and Sacks property
Provides insights into the structure of Shelah's exposition
Abstract
This is an exposition of the first two sections of Chapter VI of Shelah's book Proper and Improper Forcing. It covers various preservation theorems for CS iteration of proper forcing (omega-omega bounding, Sacks property, P-point property, etc.)
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Economic theories and models