MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS

DOI10.1017/JSL.2019.48zbMATH Open1477.03197arXiv1901.04021OpenAlexW2963016535WikidataQ127518727 ScholiaQ127518727MaRDI QIDQ5107237FDOQ5107237

Authors: Marianne Morillon 

Publication date: 17 April 2020

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

Abstract: In set theory without the Axiom of Choice, we consider Ingleton's axiom which is the counterpart in ultrametric analysis of the Hahn-Banach axiom. We show that in $ZFA$, set theory without the Axiom of Choice weakened to allow "atoms", Ingleton's axiom does not imply the Axiom of Choice (this solves in $ZFA$ a question raised by van Rooij (1992). We also prove that in $ZFA$, the "multiple Choice" axiom implies the Krein-Milman axiom. We deduce that, in $ZFA$, the conjunction of the Hahn-Banach, Ingleton and Krein-Milman axioms does not imply the Axiom of Choice.

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

Recommendations

• Axioms of multiple choice
• Equivalence theorem, consistency and axiomatizations of a multi-choice value
• Kinna-Wagner selection principles, axioms of choice and multiple choice
• Publication:4204144
• scientific article
• Hindman's theorem and choice
• The axiom of multiple choice and models for constructive set theory
• Axiom of choice
• Axiom of choice
• The axiom of choice

zbMATH Keywords

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) 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) Axiom of choice and related propositions (03E25)

Cites Work

• Title not available (Why is that?)
• The axiom of choice
• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Title not available (Why is that?)
• Injectivity, Projectivity, and the Axiom of Choice
• Title not available (Why is that?)
• \(p\)-adic numbers: An introduction.
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Tychonoff product theorem implies the axiom of choice
• 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
• Axioms of multiple choice
• The Baire Category Property and Some Notions of Compactness
• A geometric form of the axiom of choice
• Auswahlaxiom in der Algebra
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• The Hahn-Banach Property and the Axiom of Choice
• Läuchli's algebraic closure of Q
• Title not available (Why is that?)
• Title not available (Why is that?)
• Independence of the prime ideal theorem from the Hahn Banach theorem
• Linear extenders and the axiom of choice.

This page was built for publication: MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5107237)