MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS

DOI10.1017/jsl.2019.48zbMath1477.03197arXiv1901.04021OpenAlexW2963016535WikidataQ127518727 ScholiaQ127518727MaRDI QIDQ5107237

Marianne Morillon

Publication date: 17 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.04021

zbMATH Keywords

axiom of choicenonarchimedean fieldsKrein-Milman's theoremIngleton's theorem

Mathematics Subject Classification ID

Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Auswahlaxiom in der Algebra
• Set theory. An introduction to independence proofs
• \(p\)-adic numbers: An introduction.
• Some consequences of Rado's selection lemma
• A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
• RADO'S SELECTION LEMMA DOES NOT IMPLY THE BOOLEAN PRIME IDEAL THEOREM
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Injectivity, Projectivity, and the Axiom of Choice
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• Läuchli's algebraic closure of Q
• The Hahn-Banach Property and the Axiom of Choice
• Linear extenders and the Axiom of Choice
• The Baire Category Property and Some Notions of Compactness
• Axioms of multiple choice
• A geometric form of the axiom of choice
• Independence of the prime ideal theorem from the Hahn Banach theorem
• The Tychonoff product theorem implies the axiom of choice
• The axiom of choice