Forcing and classifying topoi / [electronic resource] Andrej S�c�edrov.

By: �S�cedrov, Andrej, 1955-Material type: TextTextSeries: 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 | Contents
Contents:
0. Preliminaries 1. Forcing and classifying topoi 2. More geometric forcing: Continuous actions 3. Forcing in set theory 4. Applications to intuitionistic theories
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current 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.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha