Scedrov, Andrej. <br/><br/>
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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9781470408244 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Axiom of choice.<br/>Toposes.<br/>Forcing (Model theory).
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA248 -- .B537 1989eb 
<br/><br/><label>Dewey Class. No.: </label>511.3