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.
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1993 |
| Descrizione fisica | X, 106 p. : ill. ; 26 cm. |
| Soggetto topico |
03G30 - Categorical logic, topoi [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020] 03C40 - Interpolation, preservation, definability [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 18N10 - 2-categories, bicategories, double categories [MSC 2020] |
| ISBN |
08-218-2565-8
8-0-8218-2565-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053851 |
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1993 |
| Descrizione fisica | X, 106 p. : ill. ; 26 cm |
| Soggetto topico |
03G30 - Categorical logic, topoi [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020] 03C40 - Interpolation, preservation, definability [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 18N10 - 2-categories, bicategories, double categories [MSC 2020] |
| ISBN |
08-218-2565-8
978-08-218-2565-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053851 |
|
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1993 |
| Descrizione fisica | X, 106 p. : ill. ; 26 cm |
| Soggetto topico |
03C20 - Ultraproducts and related constructions [MSC 2020]
03C40 - Interpolation, preservation, definability [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 18N10 - 2-categories, bicategories, double categories [MSC 2020] |
| ISBN |
08-218-2565-8
978-08-218-2565-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053851 |
|
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| Field arithmetic / Michael D. Fried, Moshe Jarden |
| Autore | Fried, Michael D. <1942- > |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | xvi, 458 p. : ill. ; 25 cm |
| Altri autori (Persone) | Jarden, Moshe |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
14G05 - Rational points [MSC 2020] 12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12L15 - Nonstandard arithmetic and field theory [MSC 2020] 12L05 - Decidability and field theory [MSC 2020] |
| Soggetto non controllato |
Absolute Galois Groups
Algebra Algebraic Geometry Finite Groups Galois Stratification Galois groups Galois theory Hilbertian Fields Irreducibility PAC Fields Profinite groups ultraproductS |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263774 |
|
Fried, Michael D. <1942- >
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| Field arithmetic / Michael D. Fried, Moshe Jarden |
| Autore | Fried, Michael D. <1942- > |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | xvi, 458 p. : ill. ; 25 cm |
| Altri autori (Persone) | Jarden, Moshe |
| Soggetto topico |
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
03C20 - Ultraproducts and related constructions [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 12-XX - Field theory and polynomials [MSC 2020] 12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 12L05 - Decidability and field theory [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12L15 - Nonstandard arithmetic and field theory [MSC 2020] 14G05 - Rational points [MSC 2020] |
| Soggetto non controllato |
Absolute Galois Groups
Algebra Algebraic Geometry Finite Groups Galois Stratification Galois groups Galois theory Hilbertian Fields Irreducibility PAC Fields Profinite groups Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263774 |
|
Fried, Michael D. <1942- >
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Henkin-Keisler Models / by George Weaver
| Henkin-Keisler Models / by George Weaver |
| Autore | Weaver, George E. |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xii, 253 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] |
| Soggetto non controllato |
Cardinality
Computer Science Computers Equivalence Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297753 |
|
Weaver, George E.
|
||
| Dordrecht [etc.], : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov
| Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov |
| Autore | Capraro, Valerio |
| Pubbl/distr/stampa | Cham [etc.], : Springer, 2015 |
| Descrizione fisica | VIII, 151 p. ; 24 cm |
| Altri autori (Persone) | Lupini, Martino |
| Soggetto topico |
20F65 - Geometric group theory [MSC 2020]
46L10 - General theory of von Neumann algebras [MSC 2020] 20F69 - Asymptotic properties of groups [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 03C98 - Applications of model theory [MSC 2020] 46M07 - Ultraproducts in functional analysis [MSC 2020] |
| Soggetto non controllato |
Connes' embedding conjecture
Hyperlinear groups Model theory for metric structures Sofic groups |
| ISBN | 978-33-19-19333-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0105332 |
|
Capraro, Valerio
|
||
| Cham [etc.], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov
| Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov |
| Autore | Capraro, Valerio |
| Pubbl/distr/stampa | Cham [etc.], : Springer, 2015 |
| Descrizione fisica | VIII, 151 p. ; 24 cm |
| Altri autori (Persone) | Lupini, Martino |
| Soggetto topico |
03C20 - Ultraproducts and related constructions [MSC 2020]
03C98 - Applications of model theory [MSC 2020] 20F65 - Geometric group theory [MSC 2020] 20F69 - Asymptotic properties of groups [MSC 2020] 46L10 - General theory of von Neumann algebras [MSC 2020] 46M07 - Ultraproducts in functional analysis [MSC 2020] |
| Soggetto non controllato |
Connes' embedding conjecture
Hyperlinear groups Model theory for metric structures Sofic groups |
| ISBN | 978-33-19-19333-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00105332 |
|
Capraro, Valerio
|
||
| Cham [etc.], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov
| Introduction to sofic and hyperlinear groups and Connes' embedding conjecture / Valerio Capraro, Martino Lupini ; with an appendix by Vladimir Pestov |
| Autore | Capraro, Valerio |
| Edizione | [Cham [etc.] : Springer, 2015] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Lupini, Martino |
| Soggetto topico |
20F65 - Geometric group theory [MSC 2020]
46L10 - General theory of von Neumann algebras [MSC 2020] 20F69 - Asymptotic properties of groups [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 03C98 - Applications of model theory [MSC 2020] 46M07 - Ultraproducts in functional analysis [MSC 2020] |
| ISBN | 8-3-319-19333-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0105332 |
|
Capraro, Valerio
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonstandard analysis / Martin Väth
| Nonstandard analysis / Martin Väth |
| Autore | Väth, Martin |
| Pubbl/distr/stampa | Basel, : Birkhäuser, 2007 |
| Descrizione fisica | VIII, 252 p. ; 24 cm. |
| Soggetto topico |
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 46S20 - Nonstandard functional analysis [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 46Axx - Topological linear spaces and related structures [MSC 2020] 54E15 - Uniform structures and generalizations [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 03C98 - Applications of model theory [MSC 2020] 46B08 - Ultraproduct techniques in Banach space theory [MSC 2020] 46M07 - Ultraproducts in functional analysis [MSC 2020] 54Axx - Generalities in topology [MSC 2020] |
| ISBN | 978-37-643-7773-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0059386 |
|
Väth, Martin
|
||
| Basel, : Birkhäuser, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
