top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
Autore Cherlin Gregory L. <1948->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [1998]
Descrizione fisica 1 online resource (183 p.)
Disciplina 510 s
511/.5
Collana Memoirs of the American Mathematical Society
Soggetto topico Directed graphs
Tournaments (Graph theory)
Model theory
Ramsey theory
Permutation groups
Soggetto genere / forma Electronic books.
ISBN 1-4704-0210-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""Chapter 1. Results and Open Problems""; ""1.1. Homogeneous structures""; ""1.2. A survey of work on homogeneous structures""; ""1.3. Amalgamation classes""; ""1.4. Languages, strong amalgamation, generincation, and Ramsey's theorem""; ""1.5. Classification theorems""; ""1.6. Open problems""; ""Chapter 2. Homogeneous 2-tournaments""; ""2.1. A catalog""; ""2.2. Restricted homogeneous 2-tournaments""; ""2.3. Sources and sinks""; ""2.4. Constrained 2-tournaments""; ""2.5. Unconstrained 2-tournaments""; ""Chapter 3. Homogeneous n-tournaments""
""3.1. Introduction""""3.2. Hypercritical and small 3-tournaments""; ""3.3. The critical case""; ""3.4. Two embedding lemmas""; ""3.5. Polarized n-tournaments""; ""3.6. Embedding polarized 3-tournaments""; ""3.7. Some special cases""; ""3.8. The general case""; ""Chapter 4. Homogeneous symmetric graphs""; ""4.1. The theorem of Lachlan and Woodrow""; ""4.2. The main ingredients""; ""4.3. Structure of the proof""; ""4.4. Steps 7, 5, 8. Proof of the Main Theorems""; ""4.5. Step 1, Proposition 10: adding K(2)""; ""4.6. Step 1, Proposition 11: the operation H[sup(+)]""
""7.5. Step 1. Proposition 24: P[sub(3)]""""7.6. Step 1, Proposition 25: adding L(2)""; ""7.7. Step 1, Proposition 26: the operations ±""; ""7.8. Step 1, Propositions 27 and 28: some 1-types""; ""Chapter 8. Theorems 7.6-7.9""; ""8.1. Step 2. Theorems 7.6 and 7.7""; ""8.2. Step 5. Theorem 7.9.T: extending a direct sum""; ""8.3. Step 3. Theorem 7.8, 1-types over sums""; ""8.4. Theorem 7.8, conclusion""; ""Appendix: Examples for richer languages""; ""Bibliography""; ""Index of Notation""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""
""O""
Record Nr. UNINA-9910481047303321
Cherlin Gregory L. <1948->  
Providence, Rhode Island : , : American Mathematical Society, , [1998]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
Autore Cherlin Gregory L. <1948->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [1998]
Descrizione fisica 1 online resource (183 p.)
Disciplina 510 s
511/.5
Collana Memoirs of the American Mathematical Society
Soggetto topico Directed graphs
Tournaments (Graph theory)
Model theory
Ramsey theory
Permutation groups
ISBN 1-4704-0210-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""Chapter 1. Results and Open Problems""; ""1.1. Homogeneous structures""; ""1.2. A survey of work on homogeneous structures""; ""1.3. Amalgamation classes""; ""1.4. Languages, strong amalgamation, generincation, and Ramsey's theorem""; ""1.5. Classification theorems""; ""1.6. Open problems""; ""Chapter 2. Homogeneous 2-tournaments""; ""2.1. A catalog""; ""2.2. Restricted homogeneous 2-tournaments""; ""2.3. Sources and sinks""; ""2.4. Constrained 2-tournaments""; ""2.5. Unconstrained 2-tournaments""; ""Chapter 3. Homogeneous n-tournaments""
""3.1. Introduction""""3.2. Hypercritical and small 3-tournaments""; ""3.3. The critical case""; ""3.4. Two embedding lemmas""; ""3.5. Polarized n-tournaments""; ""3.6. Embedding polarized 3-tournaments""; ""3.7. Some special cases""; ""3.8. The general case""; ""Chapter 4. Homogeneous symmetric graphs""; ""4.1. The theorem of Lachlan and Woodrow""; ""4.2. The main ingredients""; ""4.3. Structure of the proof""; ""4.4. Steps 7, 5, 8. Proof of the Main Theorems""; ""4.5. Step 1, Proposition 10: adding K(2)""; ""4.6. Step 1, Proposition 11: the operation H[sup(+)]""
""7.5. Step 1. Proposition 24: P[sub(3)]""""7.6. Step 1, Proposition 25: adding L(2)""; ""7.7. Step 1, Proposition 26: the operations ±""; ""7.8. Step 1, Propositions 27 and 28: some 1-types""; ""Chapter 8. Theorems 7.6-7.9""; ""8.1. Step 2. Theorems 7.6 and 7.7""; ""8.2. Step 5. Theorem 7.9.T: extending a direct sum""; ""8.3. Step 3. Theorem 7.8, 1-types over sums""; ""8.4. Theorem 7.8, conclusion""; ""Appendix: Examples for richer languages""; ""Bibliography""; ""Index of Notation""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""
""O""
Record Nr. UNINA-9910788733803321
Cherlin Gregory L. <1948->  
Providence, Rhode Island : , : American Mathematical Society, , [1998]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments / / Gregory L. Cherlin
Autore Cherlin Gregory L. <1948->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [1998]
Descrizione fisica 1 online resource (183 p.)
Disciplina 510 s
511/.5
Collana Memoirs of the American Mathematical Society
Soggetto topico Directed graphs
Tournaments (Graph theory)
Model theory
Ramsey theory
Permutation groups
ISBN 1-4704-0210-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Introduction""; ""Chapter 1. Results and Open Problems""; ""1.1. Homogeneous structures""; ""1.2. A survey of work on homogeneous structures""; ""1.3. Amalgamation classes""; ""1.4. Languages, strong amalgamation, generincation, and Ramsey's theorem""; ""1.5. Classification theorems""; ""1.6. Open problems""; ""Chapter 2. Homogeneous 2-tournaments""; ""2.1. A catalog""; ""2.2. Restricted homogeneous 2-tournaments""; ""2.3. Sources and sinks""; ""2.4. Constrained 2-tournaments""; ""2.5. Unconstrained 2-tournaments""; ""Chapter 3. Homogeneous n-tournaments""
""3.1. Introduction""""3.2. Hypercritical and small 3-tournaments""; ""3.3. The critical case""; ""3.4. Two embedding lemmas""; ""3.5. Polarized n-tournaments""; ""3.6. Embedding polarized 3-tournaments""; ""3.7. Some special cases""; ""3.8. The general case""; ""Chapter 4. Homogeneous symmetric graphs""; ""4.1. The theorem of Lachlan and Woodrow""; ""4.2. The main ingredients""; ""4.3. Structure of the proof""; ""4.4. Steps 7, 5, 8. Proof of the Main Theorems""; ""4.5. Step 1, Proposition 10: adding K(2)""; ""4.6. Step 1, Proposition 11: the operation H[sup(+)]""
""7.5. Step 1. Proposition 24: P[sub(3)]""""7.6. Step 1, Proposition 25: adding L(2)""; ""7.7. Step 1, Proposition 26: the operations ±""; ""7.8. Step 1, Propositions 27 and 28: some 1-types""; ""Chapter 8. Theorems 7.6-7.9""; ""8.1. Step 2. Theorems 7.6 and 7.7""; ""8.2. Step 5. Theorem 7.9.T: extending a direct sum""; ""8.3. Step 3. Theorem 7.8, 1-types over sums""; ""8.4. Theorem 7.8, conclusion""; ""Appendix: Examples for richer languages""; ""Bibliography""; ""Index of Notation""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""
""O""
Record Nr. UNINA-9910817222703321
Cherlin Gregory L. <1948->  
Providence, Rhode Island : , : American Mathematical Society, , [1998]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, december 15-19, 1985 / / J. T. Baldwin (editor)
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, december 15-19, 1985 / / J. T. Baldwin (editor)
Edizione [1st ed. 1987.]
Pubbl/distr/stampa Berlin : , : Springer-Verlag, , [1987]
Descrizione fisica 1 online resource (VIII, 508 p.)
Disciplina 511.34
Collana Lecture notes in mathematics
Soggetto topico Model theory
ISBN 3-540-48049-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classification theory: 1985 -- Concrete representations of lattices and the fundamental order -- The classification of small weakly minimal sets I -- Orthogonality of types in separably closed fields -- Countable or ?1-like models of Presburger's arithmetic -- An exposition of OTOP -- Exercises on Local Weight -- Locally modular regular types -- Choosing elements in a saturated model -- Degrees of models with prescribed Scott set -- Shrinking, stretching, and codes for homogeneous structures -- Freedom via forcing: Uniform construction of relatively free or generic structures -- Simple superstable theories -- Universal classes -- Classification of non elementary classes II abstract elementary classes -- On almost categorical theories.
Record Nr. UNISA-996466534003316
Berlin : , : Springer-Verlag, , [1987]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Combinatorial functors / J. N. Crossley, Anil Nerode
Combinatorial functors / J. N. Crossley, Anil Nerode
Autore Crossley, John N.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1974
Descrizione fisica viii, 146 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Nerode, Anilauthor
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 81
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 81 = A series of modern surveys in mathematics, 0071-1136 ; 81
Soggetto topico Combinatorial analysis
Functor theory
Model theory
Recursion theory
ISBN 3540064281
Classificazione AMS 03C
AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000755499707536
Crossley, John N.  
Berlin ; New York : Springer-Verlag, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Complete theories / Abraham Robinson
Complete theories / Abraham Robinson
Autore Robinson, Abraham
Edizione [2d ed. /]
Pubbl/distr/stampa Amsterdam : North-Holland, 1977
Descrizione fisica x, 129 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X
Soggetto topico Algebraic fields
Graph theory
Model theory
ISBN 0720406900
Classificazione AMS 03C
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000766899707536
Robinson, Abraham  
Amsterdam : North-Holland, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Cours de logique mathématique / Roland Fraisse
Cours de logique mathématique / Roland Fraisse
Autore Fraisse, Roland
Edizione [2me éd. rev. et modif]
Pubbl/distr/stampa Paris : Gauthier-Villars, 1971-1972
Descrizione fisica 3 t. ; 23 cm.
Disciplina 511.3
Collana Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 23
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 24
Collection de logique mathématique. Série A, monographies réunies par M.me P. Février ; 25
Soggetto topico Mathematical logic-textbooks
Model theory
Classificazione AMS 03-01
AMS 03C
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991000797079707536
Fraisse, Roland  
Paris : Gauthier-Villars, 1971-1972
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Decidable theories II The monadic second order theory of all countable ordinals / / J. Richard Büchi and Dirk Siefkes
Decidable theories II The monadic second order theory of all countable ordinals / / J. Richard Büchi and Dirk Siefkes
Autore Büchi J. Richard
Edizione [1st ed. 1973.]
Pubbl/distr/stampa Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1973]
Descrizione fisica 1 online resource (VIII, 224 p.)
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Gödel's theorem
Model theory
ISBN 3-540-46946-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466856503316
Büchi J. Richard  
Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1973]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Definable additive categories : purity and model theory / / Mike Prest
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
Soggetto genere / forma Electronic books.
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-9910480115503321
Prest Mike  
Providence, Rhode Island : , : American Mathematical Society, , 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui