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.
Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré
| Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Categories (Mathematics) Toposes |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-8218-7692-9
0-8218-5437-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Â5.5. The powerful image of an accessible functor""""Chapter 6: Limits and Colimits in accessible categories""; ""Â6.1. Completeness and cocompleteness in accessible categories""; ""Â6.2. Models of a sketch in an accessible category""; ""Â6.3. Detectability of colimits""; ""Â6.4. Completing an accessible category""; ""References""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Glossary of notation"" |
| Record Nr. | UNINA-9910480468103321 |
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré
| Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Categories (Mathematics) Toposes |
| ISBN |
0-8218-7692-9
0-8218-5437-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Â5.5. The powerful image of an accessible functor""""Chapter 6: Limits and Colimits in accessible categories""; ""Â6.1. Completeness and cocompleteness in accessible categories""; ""Â6.2. Models of a sketch in an accessible category""; ""Â6.3. Detectability of colimits""; ""Â6.4. Completing an accessible category""; ""References""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Glossary of notation"" |
| Record Nr. | UNINA-9910788648103321 |
|
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré
| Accessible categories : the foundations of categorical model theory / / Michael Makkai, Robert Paré |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Categories (Mathematics) Toposes |
| ISBN |
0-8218-7692-9
0-8218-5437-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Â5.5. The powerful image of an accessible functor""""Chapter 6: Limits and Colimits in accessible categories""; ""Â6.1. Completeness and cocompleteness in accessible categories""; ""Â6.2. Models of a sketch in an accessible category""; ""Â6.3. Detectability of colimits""; ""Â6.4. Completing an accessible category""; ""References""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Glossary of notation"" |
| Record Nr. | UNINA-9910826124603321 |
|
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré
| Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1989 |
| Descrizione fisica | viii, 176 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Paré, Robertauthor |
| Altri autori (Enti) | American Mathematical Society |
| Collana | Contemporary mathematics, 0271-4132 ; 104 |
| Soggetto topico |
Categories
Model theory Toposes |
| ISBN | 082185111X |
| Classificazione |
AMS 03G30
LC QA9.7.M35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000643659707536 |
|
Makkai, Michael
|
||
| Providence, R.I. : American Mathematical Society, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
| Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy |
| Autore | Mal'cev, Arkadii A. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | xii, 317 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 192 |
| Soggetto topico |
Abstract algebra
Model theory Quasivarieties Symbolic logic Varieties |
| ISBN | 3540057927 |
| Classificazione |
AMS 03C
AMS 08B AMS 08C15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000662539707536 |
|
Mal'cev, Arkadii A.
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Around classification theory of models / / Saharon Shelah
| Around classification theory of models / / Saharon Shelah |
| Autore | Shelah Saharon |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1986] |
| Descrizione fisica | 1 online resource (VII, 282 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Model theory |
| ISBN | 3-540-39788-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Classifying generalized quantifiers -- Classification over a predicate II -- Existence of endo-rigid Boolean algebras -- On the no(M) for M of singular power -- Non standard uniserial module over a uniserial domain exists -- Remarks on the numbers of ideals of Boolean algebra and open sets of a topology -- The existence of coding sets -- Monadic logic: Hanf Numbers -- More on stationary coding -- On normal ideals and Boolean algebras -- A note on ?-freeness of abelian groups -- On countable theories with models — homogeneous models only -- On decomposable sentences for finite models -- Remarks on squares. |
| Record Nr. | UNISA-996466500603316 |
|
Shelah Saharon
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1986] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Around classification theory of models / Saharon Shelah
| Around classification theory of models / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, c1986 |
| Descrizione fisica | v, 279 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1182 |
| Soggetto topico |
Model theory
Set theory |
| ISBN | 3540164480 |
| Classificazione |
AMS 03C
AMS 03E QA3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000698849707536 |
|
Shelah, Saharon
|
||
| Berlin ; New York : Springer-Verlag, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Aspects of constructibility / / K. J. Devlin
| Aspects of constructibility / / K. J. Devlin |
| Autore | Devlin Keith J. |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] |
| Descrizione fisica | 1 online resource (XII, 246 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Model theory Constructibility (Set theory) |
| ISBN | 3-540-37821-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Zermelo-Fraenkel set theory -- The constructible universe -- The axiom of constructibility, the condensation lemma, and the consistency of the generalised continuum hypothesis -- The Souslin hypothesis -- The Kurepa hypothesis -- Constructibility and the continuum -- The Jensen hierarchy of constructible sets -- The fine structure of the Jensen hierarchy -- The combinatorial principles {ie104-1} -- The generalised Souslin hypothesis for successor cardinals -- Ineffable cardinals and the generalised Kurepa hypothesis -- Weakly compact cardinals and the generalised Souslin hypothesis -- The Gap-1 two cardinals theorem -- Gap-1 morasses -- The gap-2 two cardinals theorem. (Jensen) -- Small large cardinals -- Medium large cardinals -- Large large cardinals -- Relative constructibility -- The inner model L[?] -- Strongly compact cardinals and relative constructibility. |
| Record Nr. | UNISA-996466379203316 |
|
Devlin Keith J.
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aspects of constructibility / Keith J. Devlin
| Aspects of constructibility / Keith J. Devlin |
| Autore | Devlin, Keith J. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | xii, 240 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 354 |
| Soggetto topico |
Constructibility
Model theory Set theory |
| ISBN | 3540065229 |
| Classificazione | AMS 03E45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000699909707536 |
|
Devlin, Keith J.
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin
| The axiom of determinacy, forcing axioms, and the nonstationary ideal [[electronic resource] /] / W. Hugh Woodin |
| Autore | Woodin W. H (W. Hugh) |
| Edizione | [2nd rev. ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : De Gruyter, c2010 |
| Descrizione fisica | 1 online resource (858 p.) |
| Disciplina | 511.3 |
| Collana | De Gruyter series in logic and its applications |
| Soggetto topico |
Forcing (Model theory)
Model theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-72287-5
9786612722875 3-11-021317-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- 1 Introduction -- 2 Preliminaries -- 3 The nonstationary ideal -- 4 The ℙmax-extension -- 5 Applications -- 6 ℙmax variations -- 7 Conditional variations -- 8 ♣ principles for ω 1 -- 9 Extensions of L(Γ, ℝ) -- 10 Further results -- 11 Questions -- Backmatter |
| Record Nr. | UNINA-9910455565203321 |
|
Woodin W. H (W. Hugh)
|
||
| Berlin ; ; New York, : De Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)