Choice and well-ordering

From MaRDI portal

Revision as of 07:27, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:579255

Jump to:navigation, search

DOI10.1016/0168-0072(87)90060-1zbMath0625.03046OpenAlexW2014718463MaRDI QIDQ579255

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

choice function axiom of choice topos theory intuitionistic set theory excluded middle intuitionistic definability well-ordering

Mathematics Subject Classification ID

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

Related Items (7)

Lindenbaum algebras of intuitionistic theories and free categories ⋮ Collapsed toposes and cartesian closed varieties ⋮ Scattered toposes ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ An intuitionistic version of Zermelo's proof that every choice set can be well-ordered ⋮ Injective power objects and the axiom of choice ⋮ Independent axiomatizability of sets of sentences

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:579255&oldid=12476425"