par Esser, Olivier
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 générale:SCOPUS: ar.j
FLWIN
Langue:Anglais
Identificateurs:urn:issn:0942-5616
info:doi/10.1002/malq.19990450110
info:scp/0033483089