Article ID Journal Published Year Pages File Type
4662120 Annals of Pure and Applied Logic 2010 16 Pages PDF
Abstract

For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.

Related Topics
Physical Sciences and Engineering Mathematics Logic