An intuitionistic version of Zermelo's proof that every choice set can be well-ordered

DOI10.2307/2695096zbMATH Open0988.03092OpenAlexW2046437992MaRDI QIDQ2758049

J. Todd Wilson

Publication date: 5 July 2002

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695096

zbMATH Keywords

choice functionaxiom of choiceelementary toposintuitionistic set theorywell-ordering

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Choice and well-ordering

Related Items (2)

Takeuti's well-ordering proof: finitistically fine? ⋮ The Mathematical Import of Zermelo's Well-Ordering Theorem

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Intuitionistically provable recursive well-orderings 👍 👎
• LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY 👍 👎
• The Axiom of Choice, Well-Ordering, and Well-Classification 👍 👎
• AN AXIOMATIC THEORY OF WELL-ORDERINGS 👍 👎
• The Axiom of Choice, Fixed Point Theorems, and Inductive Ordered Sets 👍 👎
• The Mathematical Import of Zermelo's Well-Ordering Theorem 👍 👎
• The axiom of choice for well-ordered families and for families of well-orderable sets 👍 👎

This page was built for publication: An intuitionistic version of Zermelo's proof that every choice set can be well-ordered

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