par Esser, Olivier
Référence The Journal of symbolic logic, 65, 4, page (1911-1916)
Publication Publié, 2000-12
Article révisé par les pairs
Titre:
  • Inconsistency of the axiom of choice with the positive theory GPK+∞
Auteur:Esser, Olivier
Informations sur la publication:The Journal of symbolic logic, 65, 4, page (1911-1916)
Statut de publication:Publié, 2000-12
Sujet CREF:Logique mathématique
Mots-clés:Axiom of choice
GPK theory
Positive theory
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0022-4812
info:scp/0034561993