Normal view MARC view ISBD view

Blass, Andreas, 1947-

Freyd's models for the independence of the axiom of choice / [electronic resource] Andreas Blass and Andre Scedrov. - Providence, R.I., USA : American Mathematical Society, c1989. - 1 online resource (viii, 134 p.) - Memoirs of the American Mathematical Society, v. 404 0065-9266 (print); 1947-6221 (online); .

"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

ISBN: 9781470408244 (online)

Subjects--Topical Terms:
Axiom of choice.
Toposes.
Forcing (Model theory)

LC Class. No.: QA3 QA248 / .A57 no. 404

Dewey Class. No.: 510 s 511.3