MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS

DOI10.1017/JSL.2019.48MaRDI QIDQ5107237zbMATH OpenOpenAlexWikidataFDO

Authors Marianne Morillon

Publication date 17 April 2020

Published in 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

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)

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.

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; zbMATH DE number 4208067
• 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

Cites work

• scientific article; zbMATH DE number 3732040 (Why is no real title available?)
• scientific article; zbMATH DE number 89055 (Why is no real title available?)
• scientific article; zbMATH DE number 3489249 (Why is no real title available?)
• scientific article; zbMATH DE number 3615363 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1482142 (Why is no real title available?)
• scientific article; zbMATH DE number 3288824 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• scientific article; zbMATH DE number 3071404 (Why is no real title available?)
• A geometric form of the axiom of choice
• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.
• Auswahlaxiom in der Algebra
• Axioms of multiple choice
• Independence of the prime ideal theorem from the Hahn Banach theorem
• Injectivity, Projectivity, and the Axiom of Choice
• Linear extenders and the axiom of choice.
• Läuchli's algebraic closure of Q
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• RADO'S SELECTION LEMMA DOES NOT IMPLY THE BOOLEAN PRIME IDEAL THEOREM
• Set theory. An introduction to independence proofs
• Some consequences of Rado's selection lemma
• The Baire Category Property and Some Notions of Compactness
• The Hahn-Banach Property and the Axiom of Choice
• The Hahn-Banach theorem implies the Banach-Tarski paradox
• The Tychonoff product theorem implies the axiom of choice
• The axiom of choice
• \(p\)-adic numbers: An introduction.

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)