The Syntax and Semantics of Infinitary Languages

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.

Inhaltsverzeichnis

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.

Produktdetails

• Mitarbeit: Jo Barwise (Herausgeber), Jon Barwise (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 29.06.2009
• EAN: 9783540042426
• ISBN: 978-3-540-04242-6
• Seiten: 270
• Abmessung: 157 mm x 237 mm x 13 mm
• Gewicht: 442 g
• Illustration: VI, 270 p.
• Serien: Lecture Notes in Mathematics; Lecture Notes in Mathematics
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen