"5" Result
Sort By:
We relate Freyd's topos-theoretic models for the independence of the axiom of choice to the more familiar symmetric Boolean-valued models.
Consequences of the axiom of choice
by Howard, Paul, Rubin, Jean E.
fromMathematical surveys and monographs
0
Type: Book
"This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: whic…