Freyd's models for the independence of the axiom of choice / [electronic resource] Andreas Blass and Andre Scedrov.

By: Blass, Andreas, 1947-Contributor(s): �S�cedrov, Andrej, 1955-Material type: TextTextSeries: 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 | Contents
Contents:
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
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 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.

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

Powered by Koha