Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD
| A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD |
| Autore | Nourani Cyrus F. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Toronto : , : Apple Academic Press, Inc. |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 512/.62 |
| Soggetto topico |
Infinitary languages
Algebraic topology Descriptive set theory Categories (Mathematics) |
| ISBN |
0-429-18873-0
1-4822-3150-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography |
| Record Nr. | UNINA-9910789123403321 |
Nourani Cyrus F.
|
||
| Toronto : , : Apple Academic Press, Inc. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinitary logic : in memoriam Carol Karp / / edited by D. W. Kueker
| Infinitary logic : in memoriam Carol Karp / / edited by D. W. Kueker |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (IX, 208 p.) |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Infinitary languages
Model theory |
| ISBN | 3-540-37949-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Back-and-forth arguments and infinitary logics -- Consistency properties for finite quantifier languages -- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages -- On a finiteness condition for infinitary languages. |
| Record Nr. | UNISA-996466589803316 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The syntax and semantics of infinitary languages / / Jon Barwise, editor
| The syntax and semantics of infinitary languages / / Jon Barwise, editor |
| Edizione | [1st ed. 1968.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1968] |
| Descrizione fisica | 1 online resource (VI, 270 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Infinitary languages |
| ISBN | 3-540-35900-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996466611403316 |
| Berlin ; ; Heidelberg : , : Springer, , [1968] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
