Title Statements
- Full title :The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise.
Edition Statements
- Publication Date:1968.
Publication Statements
- Publisher(s):Imprint, Springer, Springer Berlin Heidelberg
- Place of Publication:Berlin, Heidelberg
- Language:eng
- Publication Date:1968.
Notes
Bibliographic Level Mode of Issuance: Monograph.
The Physical Object
- Description:1 online resource (VI, 270 pages) : : online resource
Edition Identifiers
- ISBN:9783540359005, 3540359001, 9783540042426, 3540042423
- DOI:10.1007/BFb0079679.
- oclc:on1113822731
- LC Classification:QA8.9-10.3
- Dewey Decimal:511.3
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.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Optimization theory: a concise introduction
Surveys in applied mathematics: essays dedicated to S.M. Ulam
Los Alamos Symposium on Mathematics in the Natural Sciences
Computational Intelligence in Medical Informatics
Files & Downloads
-
The Syntax and Semantics of Infinitary Languages …
DJVU · 1.8 MB · updated -
The Syntax and Semantics of Infinitary Languages …
PDF · 8.1 MB · updated
Rate & Review