On fields and ideals connected with notions of forcing
Volume 105 / 2006
Colloquium Mathematicum 105 (2006), 271-281
MSC: Primary 28A05, 03G05; Secondary 54E52.
DOI: 10.4064/cm105-2-8
Abstract
We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build $\sigma $-fields of sets connected with Laver and Miller notions of forcing and we show that these $\sigma $-fields are closed under the Suslin operation.
