TitleThe Syntax and Semantics of Infinitary Languages [electronic resource] / edited by Jon Barwise
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1968
Connect tohttp://dx.doi.org/10.1007/BFb0079679
Descript VI, 270 p. online resource

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


SUBJECT

  1. Mathematics
  2. Computer logic
  3. Mathematical logic
  4. Mathematics
  5. Mathematical Logic and Foundations
  6. Mathematics
  7. general
  8. Logics and Meanings of Programs