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.
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.)
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.) |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm. |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| ISBN | 978-35-401-8674-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0071658 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.)
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.) |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Mathematical logic Model theory |
| ISBN | 978-35-401-8674-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0071658 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Mathematical logic Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264110 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Set Theory of C*-algebras / Ilijas Farah
| Combinatorial Set Theory of C*-algebras / Ilijas Farah |
| Autore | Farah, Ilijas |
| Edizione | [Cham : Springer, 2019] |
| Pubbl/distr/stampa | xxx, 517 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
46Lxx - Selfadjoint operator algebras ($C^*$-algebras, von Neumann ($W^*$-) algebras, etc.) [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0126781 |
Farah, Ilijas
|
||
| xxx, 517 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Set Theory of C-algebras / Ilijas Farah
| Combinatorial Set Theory of C-algebras / Ilijas Farah |
| Autore | Farah, Ilijas |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xxx, 517 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
46Lxx - Selfadjoint operator algebras ($C^*$-algebras, von Neumann ($W^*$-) algebras, etc.) [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
AACAI
Automorphisms massive quotient Axiomatic set theory Calkin algebra Combinatorial set theory Corona algebras Decomposition of CT*-algebras Descriptive set theory Infinitary combinatorics Irreducible representations Multiplier algebra Set-theoretic axioms Tracial states |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126781 |
|
Farah, Ilijas
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight
| Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight |
| Autore | Ash, Chris J. |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2000 |
| Descrizione fisica | XV, 346 p. ; 23 cm |
| Altri autori (Persone) | Knight, Julia F. |
| Soggetto topico |
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020] 03D45 - Theory of numerations, effectively presented structures [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0051869 |
|
Ash, Chris J.
|
||
| Amsterdam, : Elsevier, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight
| Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight |
| Autore | Ash, Chris J. |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2000 |
| Descrizione fisica | XV, 346 p. ; 23 cm |
| Altri autori (Persone) | Knight, Julia F. |
| Soggetto topico |
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020] 03D45 - Theory of numerations, effectively presented structures [MSC 2020] |
| ISBN | 978-04-445-0072-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0234710 |
|
Ash, Chris J.
|
||
| Amsterdam, : Elsevier, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight
| Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. Knight |
| Autore | Ash, Chris J. |
| Edizione | [Amsterdam : Elsevier, 2000] |
| Descrizione fisica | Pubblicazione disponibile anche in formato elettronico |
| Altri autori (Persone) | Knight, Julia F. |
| Soggetto topico |
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020] 03D45 - Theory of numerations, effectively presented structures [MSC 2020] |
| ISBN | 978-04-445-0072-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051869 |
|
Ash, Chris J.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
| First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | ii, 318 p. ; 24 cm |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Soggetto topico |
03G25 - Other algebras related to logic [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] 03Cxx - Model theory [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Mathematical logic Morphism Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260367 |
|
Makkai, Michael
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Groups and model theory : in honor of Rüdiger Göbel’s 70th birthday . May 30–June 3 2011 conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.] editors
| Groups and model theory : in honor of Rüdiger Göbel’s 70th birthday . May 30–June 3 2011 conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.] editors |
| Pubbl/distr/stampa | Providence, : American mathematical society, 2012 |
| Descrizione fisica | XVII, 316 p. ; 26 cm. |
| Soggetto topico |
20Kxx - Abelian groups [MSC 2020]
20Axx - Foundations [MSC 2020] 20Fxx - Special aspects of infinite or finite groups [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| ISBN | 978-08-218-6923-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0123319 |
| Providence, : American mathematical society, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
