×

Found 62 Documents (Results 1–62)

A limit stage construction for iterating semiproper preorders. (English) Zbl 1050.03035

Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 303-327 (2003).
MSC:  03E40
PDF BibTeX XML Cite

Tools for your forcing construction. (English) Zbl 0834.03016

Judah, Haim (ed.), Set theory of the reals. Proceedings of a winter institute on set theory of the reals held at Bar-Ilan University, Ramat- Gan (Israel), January 1991. Providence, RI: American Mathematical Society (Distrib.), Isr. Math. Conf. Proc. 6, 305-360 (1993).
MSC:  03E40
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

Software