Multiple Choices imply the Ingleton and Krein-Milman axioms - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

## Multiple Choices imply the Ingleton and Krein-Milman axioms

(1)
1
Marianne Morillon
• Function : Author
• PersonId : 830059

#### 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.

### Dates and versions

hal-01982829 , version 1 (16-01-2019)

### Identifiers

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

### Cite

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

### Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

59 View
0 Download

### Share

Gmail Facebook Twitter LinkedIn More