top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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-9910818190403321
Nourani Cyrus F.  
Toronto : , : Apple Academic Press, Inc.
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui