Choice and well-ordering

DOI10.1016/0168-0072(87)90060-1zbMATH Open0625.03046OpenAlexW2014718463MaRDI QIDQ579255FDOQ579255

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

Recommendations

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

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)

Cited In (12)

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

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)