The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 72, Band 72) - Softcover

 
9783540042426: The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 72, Band 72)
Softcover
ISBN 10: 3540042423 ISBN 13: 9783540042426
Verlag: Springer, 1968

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1968
Sprache
Englisch
ISBN 10 
3540042423
ISBN 13 
9783540042426
Einband
Taschenbuch
Anzahl der Seiten
276
Herausgeber
Barwise Jon
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland