The World's simplest axiom of choice fails

DOI10.1007/BF01170929zbMath0499.03048WikidataQ56533635 ScholiaQ56533635MaRDI QIDQ1171570

Michael Paul Fourman, Andrej Scedrov

Publication date: 1982

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/154862

zbMATH Keywords

choice functionfield extensiongeneric modelpresheaf toposintuitionistic ZFchoice of rootsforcing over categoriesintuitionistic set theory with countable or dependent choice

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)

Related Items

Unnamed Item ⋮ Topos models for physics and topos theory ⋮ A theorem of Gilmer and the canonical universal splitting ring ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ A topos for algebraic quantum theory

Uses Software

• KRIPKE

Cites Work

• Sheaf models for set theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item