UID:
almafu_9959185507502883
Umfang:
1 online resource (VI, 270 p.)
Ausgabe:
1st ed. 1968.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-35900-1
Serie:
Lecture Notes in Mathematics, 72
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
Implicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise compactness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria; Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 0-387-04242-3
Weitere Ausg.:
ISBN 3-540-04242-3
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0079679
