The Discovery of My Completeness Proofs

§1. Introduction . This paper deals with aspects of my doctoral dissertation which contributed to the early development of model theory. What was of use to later workers was less the results of my thesis, than the method by which I proved the completeness of first-order logic—a result established by...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The bulletin of symbolic logic 1996-06, Vol.2 (2), p.127-158
1. Verfasser:	Henkin, Leon
Format:	Artikel
Sprache:	eng
Schlagworte:	Axiom of choice Axioms Logical theorems Mathematical completeness Mathematical constants Mathematical functions Mathematical logic Mathematical theorems Model theory Predicate logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!