Normal view MARC view ISBD view

�S�cedrov, Andrej, 1955-

Forcing and classifying topoi / [electronic resource] Andrej S�c�edrov. - Providence, R.I., USA : American Mathematical Society, c1984. - 1 online resource (x, 93 p.) - Memoirs of the American Mathematical Society, v. 295 0065-9266 (print); 1947-6221 (online); .

"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


Mode of access : World Wide Web

ISBN: 9781470407056 (online)

Subjects--Topical Terms:
Toposes.
Categories (Mathematics)
Forcing (Model theory)

LC Class. No.: QA3 QA169 / .A57 no. 295

Dewey Class. No.: 510 s 512/.55