×

Infinite forcing for Boolean valued models. (English) Zbl 0418.03027


MSC:

03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
03C25 Model-theoretic forcing
03C30 Other model constructions
03G30 Categorical logic, topoi

Citations:

Zbl 0411.03028
PDFBibTeX XMLCite
Full Text: EuDML