Freyd's models for the independence of the axiom of choice / [electronic resource] Andreas Blass and Andre Scedrov.
Material type: TextSeries: Memoirs of the American Mathematical Society ; v. 404Publication details: Providence, R.I., USA : American Mathematical Society, c1989Description: 1 online resource (viii, 134 p.)ISBN: 9781470408244 (online)Subject(s): Axiom of choice | Toposes | Forcing (Model theory)Additional physical formats: Freyd's models for the independence of the axiom of choice /DDC classification: 510 s | 511.3 LOC classification: QA3 | .A57 no. 404 | QA248Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK12857 |
"May 1989."
Bibliography: p. 132-134.
1. Permutation models 2. Forcing and Boolean-valued models 3. Topoi 4. Models represented by Boolean topoi 5. Freyd's models 6. Freyd's first example 7. Freyd's second example
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.