Definable additive categories : purity and model theory / / Mike Prest |
Autore | Prest Mike |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2010 |
Descrizione fisica | 1 online resource (109 p.) |
Disciplina | 512.62 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Abelian categories
Model theory |
ISBN | 1-4704-0604-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""Chapter 2. Preadditive and additive categories""; ""Chapter 3. Preadditive categories and their ind-completions""; ""Chapter 4. The free abelian category of a preadditive category""; ""Chapter 5. Purity""; ""Chapter 6. Locally coherent categories""; ""Chapter 7. Localisation""; ""Chapter 8. Serre subcategories of the functor category""; ""Chapter 9. Conjugate and dual categories""; ""Chapter 10. Definable subcategories""; ""Chapter 11. Exactly definable categories""; ""Chapter 12. Recovering the definable structure""
""Chapter 13. Functors between definable categories""""Chapter 14. Spectra of definable categories""; ""Chapter 15. Definable functors and spectra""; ""Chapter 16. Triangulated categories""; ""Chapter 17. Some open questions""; ""Chapter 18. Model theory in finitely accessible categories""; ""Chapter 19. pp-Elimination of quantifiers""; ""Chapter 20. Ultraproducts""; ""Chapter 21. Pure-injectives and elementary equivalence""; ""Chapter 22. Imaginaries and finitely presented functors""; ""Chapter 23. Elementary duality""; ""Chapter 24. Hulls of types and irreducible types"" ""Chapter 25. Interpretation functors""""Chapter 26. Stability""; ""Chapter 27. Ranks""; ""Bibliography"" |
Record Nr. | UNINA-9910788860203321 |
Prest Mike
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Definable additive categories : purity and model theory / / Mike Prest |
Autore | Prest Mike |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2010 |
Descrizione fisica | 1 online resource (109 p.) |
Disciplina | 512.62 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Abelian categories
Model theory |
ISBN | 1-4704-0604-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""Chapter 2. Preadditive and additive categories""; ""Chapter 3. Preadditive categories and their ind-completions""; ""Chapter 4. The free abelian category of a preadditive category""; ""Chapter 5. Purity""; ""Chapter 6. Locally coherent categories""; ""Chapter 7. Localisation""; ""Chapter 8. Serre subcategories of the functor category""; ""Chapter 9. Conjugate and dual categories""; ""Chapter 10. Definable subcategories""; ""Chapter 11. Exactly definable categories""; ""Chapter 12. Recovering the definable structure""
""Chapter 13. Functors between definable categories""""Chapter 14. Spectra of definable categories""; ""Chapter 15. Definable functors and spectra""; ""Chapter 16. Triangulated categories""; ""Chapter 17. Some open questions""; ""Chapter 18. Model theory in finitely accessible categories""; ""Chapter 19. pp-Elimination of quantifiers""; ""Chapter 20. Ultraproducts""; ""Chapter 21. Pure-injectives and elementary equivalence""; ""Chapter 22. Imaginaries and finitely presented functors""; ""Chapter 23. Elementary duality""; ""Chapter 24. Hulls of types and irreducible types"" ""Chapter 25. Interpretation functors""""Chapter 26. Stability""; ""Chapter 27. Ranks""; ""Bibliography"" |
Record Nr. | UNINA-9910829069803321 |
Prest Mike
![]() |
||
Providence, Rhode Island : , : American Mathematical Society, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distribution models theory [[electronic resource] /] / editors Rafael Herrerías Pleguezuelo, José Callejón Céspedes, and José Manual Herrerías Velasco |
Pubbl/distr/stampa | New Jersey, : World Scientific, c2006 |
Descrizione fisica | 1 online resource (307 p.) |
Disciplina | 511.3/4 |
Altri autori (Persone) |
Herrerías-PleguezueloRafael
Callejón-CéspedesJosé Herrerías--VelascoJosé Manual |
Soggetto topico |
Model theory
Distribution (Probability theory) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-92454-7
9786611924546 981-277-299-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; Chapter 1 Modeling Income Distributions Using Elevated Distributions on a Bounded Domain; 1. Introduction; 2. Cumulative distribution function and density function; 3. Properties of Standard RGTL distributions; 4. Maximum likelihood estimation
5. Fitting 2001 U.S. income distribution data 6. Concluding remarks; Acknowledgments; References; Chapter 2 Making Copulas Under Uncertainty; 1. Introduction; 2. Initial approach; 3. FGM distribution functions; 4. The Dorp and Kotz's distribution families and its subfamilies 5. An approach to the problem: Application of the MTDF with van Dorp and Kotz's marginals in an uncertainty environment 6. A solution; 7. A valuation method; 8. Practical application of the MTDF with van Dorp and Kotz's marginals under uncertainty environment; 9. Conclusions References Chapter 3 Valuation Method of the Two Survival Functions; 1. Introduction; 2. Valuation method of the two survival functions; 3. VMTS from a multidimensional quality index; 4. Practical application; 5. Conclusions; References Chapter 4 Weighting Tools and Alternative Techniques to Generate Weighted Probability Models in Valuation Theory 1. Introduction; 2. Techniques to generate weighted models valuation; 3. New technique to generate weighted models ; 4. Practical application; 5. Comments and conclusions References |
Record Nr. | UNINA-9910451949603321 |
New Jersey, : World Scientific, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distribution models theory [[electronic resource] /] / editors Rafael Herrerías Pleguezuelo, José Callejón Céspedes, and José Manual Herrerías Velasco |
Pubbl/distr/stampa | New Jersey, : World Scientific, c2006 |
Descrizione fisica | 1 online resource (307 p.) |
Disciplina | 511.3/4 |
Altri autori (Persone) |
Herrerías-PleguezueloRafael
Callejón-CéspedesJosé Herrerías--VelascoJosé Manual |
Soggetto topico |
Model theory
Distribution (Probability theory) |
ISBN |
1-281-92454-7
9786611924546 981-277-299-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; Chapter 1 Modeling Income Distributions Using Elevated Distributions on a Bounded Domain; 1. Introduction; 2. Cumulative distribution function and density function; 3. Properties of Standard RGTL distributions; 4. Maximum likelihood estimation
5. Fitting 2001 U.S. income distribution data 6. Concluding remarks; Acknowledgments; References; Chapter 2 Making Copulas Under Uncertainty; 1. Introduction; 2. Initial approach; 3. FGM distribution functions; 4. The Dorp and Kotz's distribution families and its subfamilies 5. An approach to the problem: Application of the MTDF with van Dorp and Kotz's marginals in an uncertainty environment 6. A solution; 7. A valuation method; 8. Practical application of the MTDF with van Dorp and Kotz's marginals under uncertainty environment; 9. Conclusions References Chapter 3 Valuation Method of the Two Survival Functions; 1. Introduction; 2. Valuation method of the two survival functions; 3. VMTS from a multidimensional quality index; 4. Practical application; 5. Conclusions; References Chapter 4 Weighting Tools and Alternative Techniques to Generate Weighted Probability Models in Valuation Theory 1. Introduction; 2. Techniques to generate weighted models valuation; 3. New technique to generate weighted models ; 4. Practical application; 5. Comments and conclusions References |
Record Nr. | UNINA-9910778260503321 |
New Jersey, : World Scientific, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distribution models theory [[electronic resource] /] / editors Rafael Herrerías Pleguezuelo, José Callejón Céspedes, and José Manual Herrerías Velasco |
Pubbl/distr/stampa | New Jersey, : World Scientific, c2006 |
Descrizione fisica | 1 online resource (307 p.) |
Disciplina | 511.3/4 |
Altri autori (Persone) |
Herrerías-PleguezueloRafael
Callejón-CéspedesJosé Herrerías--VelascoJosé Manual |
Soggetto topico |
Model theory
Distribution (Probability theory) |
ISBN |
1-281-92454-7
9786611924546 981-277-299-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; Chapter 1 Modeling Income Distributions Using Elevated Distributions on a Bounded Domain; 1. Introduction; 2. Cumulative distribution function and density function; 3. Properties of Standard RGTL distributions; 4. Maximum likelihood estimation
5. Fitting 2001 U.S. income distribution data 6. Concluding remarks; Acknowledgments; References; Chapter 2 Making Copulas Under Uncertainty; 1. Introduction; 2. Initial approach; 3. FGM distribution functions; 4. The Dorp and Kotz's distribution families and its subfamilies 5. An approach to the problem: Application of the MTDF with van Dorp and Kotz's marginals in an uncertainty environment 6. A solution; 7. A valuation method; 8. Practical application of the MTDF with van Dorp and Kotz's marginals under uncertainty environment; 9. Conclusions References Chapter 3 Valuation Method of the Two Survival Functions; 1. Introduction; 2. Valuation method of the two survival functions; 3. VMTS from a multidimensional quality index; 4. Practical application; 5. Conclusions; References Chapter 4 Weighting Tools and Alternative Techniques to Generate Weighted Probability Models in Valuation Theory 1. Introduction; 2. Techniques to generate weighted models valuation; 3. New technique to generate weighted models ; 4. Practical application; 5. Comments and conclusions References |
Record Nr. | UNINA-9910813212903321 |
New Jersey, : World Scientific, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Effective mathematics of the uncountable / / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (viii, 197 pages) : digital, PDF file(s) |
Disciplina | 511.3/4 |
Collana | Lecture notes in logic |
Soggetto topico |
Model theory
Computable functions |
ISBN |
1-139-89203-7
1-107-50349-3 1-139-02859-6 1-107-51647-1 1-107-01451-4 1-107-51376-6 1-107-49634-9 1-107-50615-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some results on R-computable structures / Wesley Calvert and John E. Porter -- Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals / Samuel Coskey and Joel David Hamkins -- Computable structure theory using admissible recursion theory on [omega]1 using admissibility / Noam Greenberg and Julia F. Knight -- Local computability and uncountable structures / Russell Miller -- Borel structures : a brief survey / Antonio Montalbán and André Nies -- E-recursive intuitions / Gerald E. Sacks -- Reverse mathematics, countable and uncountable : a computational approach -- Effective model theory : an approach via [Sigma]-definability. |
Record Nr. | UNINA-9910464679303321 |
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Effective mathematics of the uncountable / / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (viii, 197 pages) : digital, PDF file(s) |
Disciplina | 511.3/4 |
Collana | Lecture notes in logic |
Soggetto topico |
Model theory
Computable functions |
ISBN |
1-139-89203-7
1-107-50349-3 1-139-02859-6 1-107-51647-1 1-107-01451-4 1-107-51376-6 1-107-49634-9 1-107-50615-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some results on R-computable structures / Wesley Calvert and John E. Porter -- Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals / Samuel Coskey and Joel David Hamkins -- Computable structure theory using admissible recursion theory on [omega]1 using admissibility / Noam Greenberg and Julia F. Knight -- Local computability and uncountable structures / Russell Miller -- Borel structures : a brief survey / Antonio Montalbán and André Nies -- E-recursive intuitions / Gerald E. Sacks -- Reverse mathematics, countable and uncountable : a computational approach -- Effective model theory : an approach via [Sigma]-definability. |
Record Nr. | UNINA-9910789311403321 |
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Effective mathematics of the uncountable / / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York [[electronic resource]] |
Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
Descrizione fisica | 1 online resource (viii, 197 pages) : digital, PDF file(s) |
Disciplina | 511.3/4 |
Collana | Lecture notes in logic |
Soggetto topico |
Model theory
Computable functions |
ISBN |
1-139-89203-7
1-107-50349-3 1-139-02859-6 1-107-51647-1 1-107-01451-4 1-107-51376-6 1-107-49634-9 1-107-50615-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some results on R-computable structures / Wesley Calvert and John E. Porter -- Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals / Samuel Coskey and Joel David Hamkins -- Computable structure theory using admissible recursion theory on [omega]1 using admissibility / Noam Greenberg and Julia F. Knight -- Local computability and uncountable structures / Russell Miller -- Borel structures : a brief survey / Antonio Montalbán and André Nies -- E-recursive intuitions / Gerald E. Sacks -- Reverse mathematics, countable and uncountable : a computational approach -- Effective model theory : an approach via [Sigma]-definability. |
Record Nr. | UNINA-9910824613803321 |
Cambridge : , : Cambridge University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Essays on the Extended Evolutionary Synthesis [[electronic resource] ] : Formalizations and Expansions / / by Rodrick Wallace |
Autore | Wallace Rodrick |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (177 pages) |
Disciplina | 576.8 |
Collana | SpringerBriefs in Evolutionary Biology |
Soggetto topico |
Evolution (Biology)
Psychology Model theory Evolutionary Biology Evolutionary Theory Behavioral Sciences and Psychology Model Theory |
Soggetto non controllato |
Biology
Science |
ISBN |
9783031298790
9783031298783 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 On the majortransitions -- 1.1 Introduction -- 1.2 Symmetry and symmetry-breaking -- 1.3 Resources -- 1.4 Cognition in non ergodic systems -- 1.5 Theprebiotic`bigbang' -- 1.6 Biological`recombination transparency' -- 1.7 A simple application -- 1.8 Specialization and cooperation: multiple workspaces -- 1.9 Discussion -- 1.10 Mathematical Appendix -- 1.11 References -- 2 On the Extended Evolutionary Synthesis -- 2.1 Introduction -- 2.2 First notions -- 2.3 The basic theory -- 2.4 Examples -- 2.5 More theory:selection pressureas shadowprice -- 2.6 Extending the models -- 2.7 Discussion -- 2.8 Mathematical Appendix -- 2.9 References -- 3O On regulation -- 3.1 Introduction -- 3.2 Theory -- 3.3 Applications -- 3.4 Discussion -- 3.5 Mathematical Appendix -- 3.6 References -- 4 Punctuated regulation as an evolutionary mechanism -- 4.1 Introduction -- 4.2 Fisher Zeros reconsidered -- 4.3 Extinction I:Simple noise-induced transitions -- 4.4 Extinction II: More complicatednoise-induced transitions -- 4.5 Extinction III: Environmental shadow price -- 4.6 Discussion -- 4.7 Mathematical Appendix -- 4.8 References -- 5 Institutional dynamics under selection pressure and uncertainty -- 5.1 Introduction -- 5.2 A Rate Distortion Theorem model of control -- 5.3 Selection pressure dynamics -- 5.4 Destabilization by delay -- 5.5 Extending the Data Rate Theorem -- 5.6 Moving on -- 5.7 Reconsideringcognition\textit{AnSich -- 5.8 Changingtheviewpoint -- 5.9 Discussion -- 5. References -- 6O n`Speciation':Fragmentsizeininformationsystemphasetransitions -- 6.1 Introduction -- 6.2`Simple'phasetransition -- 6.3 Phasetransitionsinnetworksofinformation-exchangemodules -- 6.4 Discussion -- 6.5 MathematicalAppendix:`Biological'renormalizations -- 6.6 References -- 7 Adaptingcognitionmodelstobiomolecularcondensatedynamics -- 7.1 Introduction -- 7.2 Resources -- 7.3 Cognition -- 7.4 PhasetransitionsI:Fisherzeros -- 7.5 Cognitive`reactionrate' -- 7.6 PhasetransitionsII:Signaltransductionandnoise -- 7.7 Discussion -- 7.8 MathematicalAppendix:Groupoids -- 7.9 References -- 8 EvolutionaryExaptation:Sharedinterbrainactivityinsocialcommunication -- 8.1 Introduction -- 8.2 Correlation -- 8.3 Cognition -- 8.4 Dynamics -- 8.5 Cognitionrate -- 8.6 Anexample -- 8.7 Cooperation:Multipleworkspaces -- 8.8 Networktopologyisimportant -- 8.9 Timeandresourceconstraintsareimportant -- 8.10 Furthertheoreticaldevelopment -- 8.11 Discussion -- 8.12 MathematicalAppendix -- 8.13 References -- 9 Afterward. |
Record Nr. | UNINA-9910726288803321 |
Wallace Rodrick
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Essential stability theory |
Autore | Buechler Steven |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1996 |
Disciplina | 511.3 |
Collana | Perspectives in mathematical logic Essential stability theory |
Soggetto topico |
Model theory
Stability Mathematics Physical Sciences & Mathematics Mathematical Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910482881703321 |
Buechler Steven
![]() |
||
[Place of publication not identified], : Springer, 1996 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|