Preprints, Working Papers, ... Year : 2021

Hyperplanes in matroids ans the Axiom of Choice

Abstract

We show that in set-theory without the axiom of choice ZF, the statement sH: Every proper closed subset of a nitary matroid is the intersection of hyperplanes including it implies AC fin , the axiom of choice for (nonempty) nite sets. We also provide an equivalent of the statement AC fin in terms of graphic matroids. Several open questions stay open in ZF, for example: does sH imply the Axiom of Choice?

Domains

Logic [math.LO]
Fichier principal
Vignette du fichier
SH2ACfin_oct21.pdf (349.76 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03426458 , version 1 (12-11-2021)

Identifiers

  • HAL Id : hal-03426458 , version 1

Cite

Marianne Morillon. Hyperplanes in matroids ans the Axiom of Choice. 2021. ⟨hal-03426458⟩
149 View
168 Download

Share

More