Forcing and classifying topoi / [electronic resource] Andrej S�c�edrov.
Material type: TextSeries: Memoirs of the American Mathematical Society ; v. 295Publication details: Providence, R.I., USA : American Mathematical Society, c1984Description: 1 online resource (x, 93 p.)ISBN: 9781470407056 (online)Subject(s): Toposes | Categories (Mathematics) | Forcing (Model theory)Additional physical formats: Forcing and classifying topoi /DDC classification: 510 s | 512/.55 LOC classification: QA3 | .A57 no. 295 | QA169Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK12748 |
"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
Description based on print version record.
There are no comments on this title.