Proofs

Spring 2018 Midterm Exam

Relevant Lemmas and Exercises:

• The Equivalence of 3 Possible Definitions of the ccc Operation
• Proof Sketches about ccc-Bases
• Lemmas about Polars of Unions and Intersections

Older documents, not entirely redundant, but in some parts strictly dominated by the ones above:

• Lemmas about Polars
• Lemmas about Bases for Polars
• ccc-bases, etc.