The Syntax and Semantics of Infinitary Languages
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in mathematics
72 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Syntax and semantics of infinitary languages, edited by Jon Barwise,..., 1968, Berlin[etc.], Springer-Verlag, 1 vol. (268 p.), Lecture notes in mathematics, 0-387-04242-3 • The Syntax and Semantics of Infinitary Languages, Texte imprimé, 9783662169056 |
Sommario:
- 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.