The Syntax and Semantics of Infinitary Languages
The Syntax and Semantics of Infinitary Languages [electronic resource] /
edited by Jon Barwise.
- VI, 270 p. online resource.
- Lecture Notes in Mathematics, 72 0075-8434 ; .
- Lecture Notes in Mathematics, 72 .
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.
9783540359005
10.1007/BFb0079679 doi
Logic, Symbolic and mathematical.
Mathematics.
Logic design.
Mathematical Logic and Foundations.
Mathematics, general.
Logics and Meanings of Programs.
QA8.9-10.3
511.3
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.
9783540359005
10.1007/BFb0079679 doi
Logic, Symbolic and mathematical.
Mathematics.
Logic design.
Mathematical Logic and Foundations.
Mathematics, general.
Logics and Meanings of Programs.
QA8.9-10.3
511.3