A program for the full axiom of choice

Pré-Publication, Document De Travail Année : 2020

(1)

1

Jean-Louis Krivine

Preuves, Programmes et Systèmes

Logique en informatique [cs.LO] Logique [math.LO]

Fichier principal

A_program_for_full_AC_CM_v2.pdf (248.27 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-02859846

Soumis le : jeudi 30 juillet 2020-09:09:22

Dernière modification le : vendredi 24 mars 2023-14:53:18

hal-02859846 , version 1 (08-06-2020)

hal-02859846 , version 2 (30-07-2020)

hal-02859846 , version 3 (10-07-2021)

Jean-Louis Krivine. A program for the full axiom of choice. 2020. ⟨hal-02859846v2⟩

48 Consultations

118 Téléchargements