The Syntax and Semantics of Infinitary Languages edited by Jon Barwise.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Barwise, Jon (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968.
Edition:	1st ed. 1968.
Series:	Lecture Notes in Mathematics, 72 Springer eBook Collection.
Subjects:	Mathematical logic. Mathematics. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Similar Items