100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?

DOI10.1007/978-1-4020-8926-8_10zbMath1167.03033OpenAlexW4250091325MaRDI QIDQ3613306

Per Martin-Löf

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_10

zbMATH Keywords

constructive type theoryaxiom of choice

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Axiom of choice and related propositions (03E25)

Related Items (6)

Infinite populations, choice and determinacy ⋮ Are there enough injective sets? ⋮ WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? ⋮ Arithmetical conservation results ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity

This page was built for publication: 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?