Well-ordering and choice in toposes

DOI10.1016/0022-4049(88)90113-2zbMATH Open0645.18001OpenAlexW2030860303MaRDI QIDQ1103041FDOQ1103041

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

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

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)

Cites Work

• Title not available (Why is that?)
• Axiom of Choice and Complementation
• Title not available (Why is that?)
• Finiteness: Another aspect of topoi

Cited In (12)

• Excluded Middle versus Choice in a topos
• Title not available (Why is that?)
• 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"
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• Title not available (Why is that?)
• Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice
• Title not available (Why is that?)

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)