Choice and well-ordering

DOI10.1016/0168-0072(87)90060-1zbMath0625.03046OpenAlexW2014718463MaRDI QIDQ579255

Peter J. Freyd

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90060-1

zbMATH Keywords

choice functionaxiom of choicetopos theoryintuitionistic set theoryexcluded middleintuitionistic definabilitywell-ordering

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Proof theory and constructive mathematics (03F99)

Related Items (7)

Lindenbaum algebras of intuitionistic theories and free categories ⋮ Collapsed toposes and cartesian closed varieties ⋮ Scattered toposes ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ An intuitionistic version of Zermelo's proof that every choice set can be well-ordered ⋮ Injective power objects and the axiom of choice ⋮ Independent axiomatizability of sets of sentences

This page was built for publication: Choice and well-ordering