Loullis, George Infinite forcing for Boolean valued models. (English) Zbl 0418.03027 Bull. Greek Math. Soc. 19, 155-182 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) 03C25 Model-theoretic forcing 03C30 Other model constructions 03G30 Categorical logic, topoi Keywords:Boolean-valued models; forcing in an elementary topos; infinite model theoretic forcing; topoi of Boolean valued sets Citations:Zbl 0411.03028 PDFBibTeX XMLCite \textit{G. Loullis}, Bull. Greek Math. Soc. 19, 155--182 (1978; Zbl 0418.03027) Full Text: EuDML