Kamburelis, Anastasis A note on forcing with ideals and Hechler forcing. (English) Zbl 1052.03032 Acta Univ. Carol., Math. Phys. 43, No. 2, 45-49 (2002). Reviewer: Martin Weese (Potsdam) MSC: 03E40 06E10 × Cite Format Result Cite Review PDF Full Text: EuDML
Ghilardi, Silvio; Zawadowski, Marek Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. (English) Zbl 1036.03001 Trends in Logic—Studia Logica Library 14. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0660-8/hbk). ix, 243 p. (2002). Reviewer: Peter T. Johnstone (Cambridge) MSC: 03-02 03G30 03C10 03C90 03F50 06D20 08C05 18B25 18F20 03B45 × Cite Format Result Cite Review PDF