Choice and well-ordering

DOI10.1016/0168-0072(87)90060-1MaRDI QIDQ579255zbMATH OpenOpenAlexFDO

Authors 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

axiom of choicechoice functionintuitionistic set theorytopos theoryexcluded middleintuitionistic definabilitywell-ordering

Mathematics Subject Classification ID

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

Recommendations

• An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
• Well-ordering and choice in toposes
• scientific article; zbMATH DE number 4068863
• The axiom of choice, well-ordering, and well-classification
• Zermelo’s Well-Ordering Theorem in Type Theory

Cited in

(13)

• Choice and complexity
• Lindenbaum algebras of intuitionistic theories and free categories
• Independent axiomatizability of sets of sentences
• Introduction: A personal tribute to Peter Freyd and Bill Lawvere
• The axiom of choice, well-ordering, and well-classification
• scientific article; zbMATH DE number 3977894 (Why is no real title available?)
• Injective power objects and the axiom of choice
• Order matters when choosing sets
• Well-ordering and choice in toposes
• An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
• scientific article; zbMATH DE number 4068863 (Why is no real title available?)
• Scattered toposes
• Collapsed toposes and cartesian closed varieties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579255)