![The Syntax and Semantics of Infinitary Languages [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
The Syntax and Semantics of Infinitary Languages [electronic resource] /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1968
|
| Subjects: | Mathematics., Computer logic., Mathematical logic., Mathematical Logic and Foundations., Mathematics, general., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/BFb0079679 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|