par Esser, Olivier Cliquez pour télécharger la liste de publications de l'auteur
Référence Mathematical logic quarterly, 45, 1, (page 105-116)
Publication Publié, 1999
Article révisé par les pairs
Titre :
  • On the consistency of a positive theory
Auteur : Esser, Olivier
Informations sur la publication : Mathematical logic quarterly, 45, 1, (page 105-116)
Statut de publication : Publié, 1999
Sujet CREF : Logique mathématique
Mots-clés : GPK theory
Kelley-Morse class theory
Positive theory
Ramifiability
Tree property
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0942-5616