Freyd’s models for the independence of the axiom of choice

DOI10.1090/memo/0404zbMath0687.03031OpenAlexW4210302510MaRDI QIDQ4205438

Andreas Blass, Andrej Scedrov

Publication date: 1989

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0404

zbMATH Keywords

choiceforcingBoolean-valued modelspermutation modelsCohen generic realsdouble-negation sheavesrepresentation of a model of set theory by a topostopos-theoretic models for the independence of the axiom oftopos-theoretic models for the independence of the axiom of choice

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (8)

A modal logic of consistency ⋮ What do Freyd's toposes classify? ⋮ Exact functors, local connectedness and measurable cardinals ⋮ A characterization of permutation models in terms of forcing ⋮ Complete topoi representing models of set theory ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

This page was built for publication: Freyd’s models for the independence of the axiom of choice