TY  - BOOK
AU  - �S�cedrov,Andrej
TI  - Forcing and classifying topoi
T2  - Memoirs of the American Mathematical Society, 
SN  - 9781470407056 (online)
AV  - QA3QA169 .A57 no. 295
U1  - 510 s512/.55 19
PY  - 1984///
CY  - Providence, R.I., USA
PB  - American Mathematical Society
KW  - Toposes
KW  - Categories (Mathematics)
KW  - Forcing (Model theory)
N1  - "Volume 48 number 295."; Bibliography: p. 89-93; 0. Preliminaries; 1. Forcing and classifying topoi; 2. More geometric forcing: Continuous actions; 3. Forcing in set theory; 4. Applications to intuitionistic theories; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/memo/0295
UR  - http://dx.doi.org/10.1090/memo/0295
ER  -