Freyd's Models for the Independence of the Axiom of Choice.
Scedrov, Andrej.
Freyd's Models for the Independence of the Axiom of Choice. - 1st ed. - 1 online resource (146 pages) - Memoirs of the American Mathematical Society ; v.79 . - Memoirs of the American Mathematical Society .
Intro -- Table of Contents -- Introduction -- 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 -- References.
9781470408244
Axiom of choice.
Toposes.
Forcing (Model theory).
Electronic books.
QA248 -- .B537 1989eb
511.3
Freyd's Models for the Independence of the Axiom of Choice. - 1st ed. - 1 online resource (146 pages) - Memoirs of the American Mathematical Society ; v.79 . - Memoirs of the American Mathematical Society .
Intro -- Table of Contents -- Introduction -- 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 -- References.
9781470408244
Axiom of choice.
Toposes.
Forcing (Model theory).
Electronic books.
QA248 -- .B537 1989eb
511.3