HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Multiple Choices imply the Ingleton and Krein-Milman axioms

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.univ-reunion.fr/hal-01982829
Contributor : Marianne Morillon Connect in order to contact the contributor
Submitted on : Wednesday, January 16, 2019 - 8:05:49 AM
Last modification on : Wednesday, November 3, 2021 - 4:25:30 AM

Links full text

Identifiers

  • HAL Id : hal-01982829, version 1
  • ARXIV : 1901.04021

Collections

Citation

Marianne Morillon. Multiple Choices imply the Ingleton and Krein-Milman axioms. 2019. ⟨hal-01982829⟩

Share

Metrics

Record views

59