
The Syntax and Semantics of Infinitary Languages
Jon Barwise(Editor)
Springer (Publisher)
Published on 1. January 1968
Book
Paperback/Softback
VI, 270 pages
978-3-540-04242-6 (ISBN)
Description
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.
More details
Series
Edition
1968 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VI, 270 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
423 gr
ISBN-13
978-3-540-04242-6 (9783540042426)
DOI
10.1007/BFb0079679
Schweitzer Classification
Content
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.