Research Catalog
The Syntax and semantics of infinitary languages, edited by Jon Barwise.
- Title
- The Syntax and semantics of infinitary languages, edited by Jon Barwise.
- Publication
- Berlin, New York [etc.] Springer-Verlag, 1968.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9 49 | Off-site |
Holdings
Details
- Additional Authors
- Description
- 268 p.; 28 cm.
- Summary
- This book grew out of a symposium on infinitary logic held at UCLA on December 28-30, 1967. The purpose of the book is to make much of the current work in infinitary logic available to the student as quickly as possible.
- Series Statement
- Lecture notes in mathematics ; 72
- Uniform Title
- Lecture notes in mathematics (Springer-Verlag) 72.
- Subject
- Infinitary languages
- Genre/Form
- Conference papers and proceedings
- Note
- Based on a symposium on infinitary logic held at UCLA on December 28-30, 1967.
- Bibliography (note)
- Includes bibliographies.
- Processing Action (note)
- committed to retain
- 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 -- Algebraic proof of the Barwise compactness theory -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria -- Definability, automorphisms, and infinitary languages -- Hanf number for complete Lw₁, w sentences -- Quantified algebras -- Normal derivability in classical logic -- Determinate logic -- (w₁, w) properties of unions of models.
- LCCN
- ^^^68057175^
- OCLC
- 525575
- SCSB-10307820
- Owning Institutions
- Harvard Library