The syntax and semantics of infinitary languages / / Jon Barwise, editor
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
The syntax and semantics of infinitary languages / / Jon Barwise, editor
|
| Pubblicazione: | Berlin ; ; Heidelberg : , : Springer, , [1968] |
| ©1968 | |
| Edizione: | 1st ed. 1968. |
| Descrizione fisica: | 1 online resource (VI, 270 p.) |
| Disciplina: | 511.34 |
| Soggetto topico: | Infinitary languages |
| Persona (resp. second.): | BarwiseJon |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Syntax and semantics of infinitary languages |
| ISBN: | 3-540-35900-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466611403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilitĂ qui |
Serie:
Lecture notes in mathematics (Springer-Verlag) ; ; 72.