The Syntax and Semantics of Infinitary Languages

Buch | Softcover

VI, 270 Seiten

1968
Springer Berlin (Verlag)
9783540042426 (ISBN)

Artikel merken

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.

Erscheint lt. Verlag	1.1.1968
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	VI, 270 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	390 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	compactness theorem • Computability Theory • Languages • Logic • Mathematische Logik • model Theory • Proof • Syntax
ISBN-13	9783540042426 / 9783540042426
Zustand	Neuware