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.
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak
| Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
| Autore | Berman Joel <1943-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina |
510 s
511.3/3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0429-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
| Record Nr. | UNINA-9910479864803321 |
Berman Joel <1943->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak
| Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
| Autore | Berman Joel <1943-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina |
510 s
511.3/3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
| ISBN | 1-4704-0429-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
| Record Nr. | UNINA-9910788749503321 |
|
Berman Joel <1943->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Generative complexity in algebra / / Joel Berman, Paweł M. Idziak
| Generative complexity in algebra / / Joel Berman, Paweł M. Idziak |
| Autore | Berman Joel <1943-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (176 p.) |
| Disciplina |
510 s
511.3/3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Ordered algebraic structures
Model theory Algebraic varieties - Classification theory |
| ISBN | 1-4704-0429-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Background Material""; ""Part 1. Introducing Generative Complexity""; ""Chapter 3. Definitions and Examples""; ""Chapter 4. Semilattices and Lattices""; ""Chapter 5. Varieties with a Large Number of Models""; ""Chapter 6. Upper Bounds""; ""Chapter 7. Categorical Invariants""; ""Part 2. Varieties with Few Models""; ""Chapter 8. Types 4 or 5 Need Not Apply""; ""Chapter 9. Semisimple May Apply""; ""Chapter 10. Permutable May also Apply""; ""Chapter 11. Forcing Modular Behavior""; ""Chapter 12. Restricting Solvable Behavior""
""Chapter 13. Varieties with Very Few Models""""Chapter 14. Restricting Nilpotent Behavior""; ""14.1. Nilpotent Congruences in non Nilpotent Algebras""; ""14.2. Nilpotent Algebras""; ""Chapter 15. Decomposing Finite Algebras""; ""Chapter 16. Restricting Afflne Behavior""; ""16.1. Expanded Modules""; ""16.2. Forcing Finite Representation Type""; ""Chapter 17. A Characterization Theorem""; ""17.1. Locally Finite Varieties with Few Models""; ""17.2. Finitely Generated Varieties with Few Models""; ""Part 3. Conclusions""; ""Chapter 18. Application to Groups and Rings"" ""Chapter 19. Open Problems""""Chapter 20. Tables""; ""Bibliography"" |
| Record Nr. | UNINA-9910818806103321 |
|
Berman Joel <1943->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups and model theory : gagta book 2 / / edited by Olga Kharlampovich, Rizos Sklinos
| Groups and model theory : gagta book 2 / / edited by Olga Kharlampovich, Rizos Sklinos |
| Pubbl/distr/stampa | Boston : , : De Gruyter, , 2021 |
| Descrizione fisica | 1 online resource (vii, 233 pages) |
| Disciplina | 512.2 |
| Soggetto topico |
Group theory
Model theory |
| ISBN | 3-11-071971-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter --; Introduction --; Contents --; 1 Model theory and groups --; 2 Independence and interpretable structures in nonabelian free groups --; 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group --; 4 Rich groups, weak second-order logic, and applications --; 5 Rigid solvable groups. Algebraic geometry and model theory --; Index. |
| Record Nr. | UNINA-9910554275403321 |
| Boston : , : De Gruyter, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors
| Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2012] |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 512/.2 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Group theory
Model theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-9098-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""About the conference""; ""A few words about R""udiger""; ""Chapter 1. ""; ""Functorial properties of Hom and Ext""; ""1. Introduction""; ""2. Functors Acting on Sums and Products""; ""3. Hom and Ext""; ""4. -small groups""; ""5. -extendible groups""; ""References""; ""Rigid abelian groups and the probabilistic method""; ""1. Introduction""; ""2. The probabilistic method: A brief introduction""; ""3. Groups via -adic numbers""; ""4. Small-rank groups""; ""5. Concluding remarks and open questions""; ""6. Acknowledgments""; ""References""
""On projection-invariant subgroups of Abelian -groups""""1. Introduction""; ""2. Direct Powers""; ""References""; ""Looking for indecomposable right bounded complexes""; ""Introduction""; ""1. Preliminaries""; ""2. Examples""; ""References""; ""Butler�s theorem revisited""; ""Introduction""; ""1. Notation and basic settings""; ""2. Regularity""; ""3. Previous results""; ""4. The (1) case""; ""5. The (2) case""; ""6. The general case""; ""7. The concrete solution""; ""8. Cancelling Primes""; ""9. Realizing the converse of Butler�s Theorem""; ""References"" ""The role of the Jacobson radical in isomorphism theorems""""1. Introduction""; ""2. Preliminaries""; ""3. Determining the Torsion""; ""4. Rank One Mixed Modules""; ""5. Warfield Modules""; ""References""; ""Dimension in topological structures: Topological closure and local property""; ""1. Introduction""; ""2. Closure""; ""3. Local property""; ""4. Some examples""; ""References""; ""On kernel modules of cotorsion pairs""; ""1. Introduction""; ""2. Modules in the kernel""; ""3. Applications to almost perfect domains""; ""4. Weak-injective envelopes""; ""5. Flat covers""; ""References"" |
| Record Nr. | UNINA-9910480417503321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors
| Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2012] |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 512/.2 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Group theory
Model theory |
| ISBN | 0-8218-9098-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | About the conference -- A few words about Rudiger -- Chapter 1. -- Functorial properties of Hom and Ext -- 1. Introduction -- 2. Functors Acting on Sums and Products -- 3. Hom and Ext -- 4. -small groups -- 5. -extendible groups -- References -- Rigid abelian groups and the probabilistic method -- 1. Introduction -- 2. The probabilistic method: A brief introduction -- 3. Groups via -adic numbers -- 4. Small-rank groups -- 5. Concluding remarks and open questions -- 6. Acknowledgments -- References -- On projection-invariant subgroups of Abelian -groups -- 1. Introduction -- 2. Direct Powers -- References -- Looking for indecomposable right bounded complexes -- Introduction -- 1. Preliminaries -- 2. Examples -- References -- Butler's theorem revisited -- Introduction -- 1. Notation and basic settings -- 2. Regularity -- 3. Previous results -- 4. The (1) case -- 5. The (2) case -- 6. The general case -- 7. The concrete solution -- 8. Cancelling Primes -- 9. Realizing the converse of Butler's Theorem -- References -- The role of the Jacobson radical in isomorphism theorems -- 1. Introduction -- 2. Preliminaries -- 3. Determining the Torsion -- 4. Rank One Mixed Modules -- 5. Warfield Modules -- References -- Dimension in topological structures: Topological closure and local property -- 1. Introduction -- 2. Closure -- 3. Local property -- 4. Some examples -- References -- On kernel modules of cotorsion pairs -- 1. Introduction -- 2. Modules in the kernel -- 3. Applications to almost perfect domains -- 4. Weak-injective envelopes -- 5. Flat covers -- References. |
| Record Nr. | UNINA-9910788638103321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors
| Groups and model theory : a conference in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg," Mulheim an der Ruhr, Germany / / Lutz Strungmann [and three others], editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2012] |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 512/.2 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Group theory
Model theory |
| ISBN | 0-8218-9098-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | About the conference -- A few words about Rudiger -- Chapter 1. -- Functorial properties of Hom and Ext -- 1. Introduction -- 2. Functors Acting on Sums and Products -- 3. Hom and Ext -- 4. -small groups -- 5. -extendible groups -- References -- Rigid abelian groups and the probabilistic method -- 1. Introduction -- 2. The probabilistic method: A brief introduction -- 3. Groups via -adic numbers -- 4. Small-rank groups -- 5. Concluding remarks and open questions -- 6. Acknowledgments -- References -- On projection-invariant subgroups of Abelian -groups -- 1. Introduction -- 2. Direct Powers -- References -- Looking for indecomposable right bounded complexes -- Introduction -- 1. Preliminaries -- 2. Examples -- References -- Butler's theorem revisited -- Introduction -- 1. Notation and basic settings -- 2. Regularity -- 3. Previous results -- 4. The (1) case -- 5. The (2) case -- 6. The general case -- 7. The concrete solution -- 8. Cancelling Primes -- 9. Realizing the converse of Butler's Theorem -- References -- The role of the Jacobson radical in isomorphism theorems -- 1. Introduction -- 2. Preliminaries -- 3. Determining the Torsion -- 4. Rank One Mixed Modules -- 5. Warfield Modules -- References -- Dimension in topological structures: Topological closure and local property -- 1. Introduction -- 2. Closure -- 3. Local property -- 4. Some examples -- References -- On kernel modules of cotorsion pairs -- 1. Introduction -- 2. Modules in the kernel -- 3. Applications to almost perfect domains -- 4. Weak-injective envelopes -- 5. Flat covers -- References. |
| Record Nr. | UNINA-9910814068703321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
| Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina |
511.3
511.34 |
| Collana | Studies in universal logic |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-86259-2
9786611862596 3-7643-8708-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910451723903321 |
|
Diaconescu Răzvan
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
| Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina |
511.3
511.34 |
| Collana | Studies in universal logic |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical |
| ISBN |
1-281-86259-2
9786611862596 3-7643-8708-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910782098603321 |
|
Diaconescu Răzvan
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| 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)