Well-ordering and choice in toposes

DOI10.1016/0022-4049(88)90113-2MaRDI QIDQ1103041zbMATH OpenOpenAlexFDO

Authors Mbila-Mambu Mawanda

Publication date 1988

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(88)90113-2

zbMATH Keywords

well-orderingaxiom of choice in a toposnon-boolean toposesZermelo theorem

Mathematics Subject Classification ID

Topoi (18B25) Axiom of choice and related propositions (03E25)

Recommendations

• Choice and well-ordering
• A STUDY ON EQUIVALENT FORMS OF THE AXIOM OF CHOICE IN AN WELL-POINTED TOPOS
• An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
• On the weak forms of choice in topoi
• scientific article; zbMATH DE number 6611831

Cites work

• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Axiom of Choice and Complementation
• Finiteness: Another aspect of topoi

Cited in

(12)

• Excluded Middle versus Choice in a topos
• scientific article; zbMATH DE number 6611831 (Why is no real title available?)
• Finite cardinals in general topoi
• On Comparability in a Topos
• Choice and well-ordering
• Restricted internal choice in a topos
• On the weak forms of choice in topoi
• An addition to "On defining well-orderings"
• scientific article; zbMATH DE number 5015958 (Why is no real title available?)
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice
• scientific article; zbMATH DE number 4068863 (Why is no real title available?)

This page was built for publication: Well-ordering and choice in toposes

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