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] |
| 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-VAN00071658 |
| 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 |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00264110 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255990 |
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00255990 |
|
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communication Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
|
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
| Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler |
| Autore | Chang Chen Chung |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Model theory |
| Soggetto non controllato |
Compact space
Compactness theorem Continuous function Logical connective Model theory Set function Truth value |
| ISBN | 1-4008-8205-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter |
| Record Nr. | UNINA-9910154748803321 |
|
Chang Chen Chung
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dilations, Completely Positive Maps and Geometry / B.V. Rajarama Bhat, Tirthankar Bhattacharyya
| Dilations, Completely Positive Maps and Geometry / B.V. Rajarama Bhat, Tirthankar Bhattacharyya |
| Autore | Rajaraman Bhat, B. V. |
| Pubbl/distr/stampa | Singapore, : Springer ; New Delhi, : Hindustan Book Agency, 2023 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Altri autori (Persone) | Bhattacharyya, Tirthankar |
| Soggetto topico |
32-XX - Several complex variables and analytic spaces [MSC 2020]
46-XX - Functional analysis [MSC 2020] 46E22 - Hilbert spaces with reproducing kernels (= [proper] functional Hilbert spaces, including de Branges-Rovnyak and other structured spaces) [MSC 2020] 46L05 - General theory of C*-algebras [MSC 2020] 47-XX - Operator theory [MSC 2020] 47A20 - Dilations, extensions, compressions of linear operators [MSC 2020] |
| Soggetto non controllato |
Compressions of operators
Dilations of operators Extensions of of operators Functional Analysis General theory of operators Hilbert spaces Model theory Operator theory Reproducing Kernel Self-adjoint operator algebras Spectral sets Spectral sets of linear operators Symmetrized bi-disc |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279179 |
|
Rajaraman Bhat, B. V.
|
||
| Singapore, : Springer ; New Delhi, : Hindustan Book Agency, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of Finite Model Theory / Leonid Libkin
| Elements of Finite Model Theory / Leonid Libkin |
| Autore | Libkin, Leonid |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2004 |
| Descrizione fisica | xiv, 318 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68Q19 - Descriptive complexity and finite models [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Complexity Complexity theory Formal language Logic Model theory Variable |
| ISBN | 978-35-402-1202-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283787 |
|
Libkin, Leonid
|
||
| Berlin ; Heidelberg, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Feferman on Foundations : Logic, Mathematics, Philosophy / Gerhard Jäger, Wilfried Sieg editors
| Feferman on Foundations : Logic, Mathematics, Philosophy / Gerhard Jäger, Wilfried Sieg editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | lxxx, 551 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Foundations of category theory
Gödel, Minds and Machines Model theory New axioms and the continuum problem Predicativity Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124378 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Feferman on Foundations : Logic, Mathematics, Philosophy / Gerhard Jäger, Wilfried Sieg editors
| Feferman on Foundations : Logic, Mathematics, Philosophy / Gerhard Jäger, Wilfried Sieg editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | lxxx, 551 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Foundations of category theory
Gödel, Minds and Machines Model theory New axioms and the continuum problem Predicativity Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124378 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
