1  20
Next
 Aaqvist, Lennart.
 Uppsala, Filosofiska Foereningen och Filosofiska Institutionen vid Uppsala Universitet, 1972.
 Description
 Book — 53 l. 30 cm.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Folios  
BC199.C56.A2 F  Unknown 
3. Simple groups of finite Morley rank [2008]
 Altınel, Tuna, 1966
 Providence, R.I. : American Mathematical Society, c2008.
 Description
 Book — xix, 556 p. ; 26 cm.
 Summary

 Part A. Methods: Tools $K$groups and $L$groups Specialized topics Generic covering and conjugacy theorems Part B. Mixed type groups: Mixed type Part C. Even type groups: Strong embedding and weak embedding Standard components of type $SL_2$ The $C(G, T)$ theorem and a plan of attack Quasithin groups Conclusion Bibliography Index of notation Index of terminology Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA3 .A4 V.145  Unknown 
 AMSASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics (2009 : Washington, D.C.)
 Providence, R.I. : American Mathematical Society, c2011.
 Description
 Book — viii, 519 p. : ill. ; 26 cm.
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.7 .M583 2009  Unknown 
5. 50 years of firstpassage percolation [2017]
 Auffinger, Antonio, 1983 author.
 Providence, Rhode Island : American Mathematical Society, [2017]
 Description
 Book — v, 161 pages : illustrations (some color) ; 26 cm.
 Summary

 IntroductionThe time constant and the limit shapeFluctuations and concentration boundsGeodesicsBusemann functionsGrowth and competition modelsVariants of FPP and related modelsSummary of open questionsBibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA274.73 .A94 2017  Unknown 
 Badesa, Calixto.
 Princeton : Princeton University Press, 2008.
 Description
 Book — 1 online resource (254 pages)
 Summary

 Preface ix
 Chapter 1. Algebra of Classes and Propositional Calculus 1 1.1 Boole 1 1.2 Jevons 10 1.3 Peirce 12 1.4 Schroder 17
 Chapter 2. The Theory of Relatives 31 2.1 Introduction 31 2.2 Basic concepts of the theory of relatives 33 2.3 Basic postulates of the theory of relatives 40 2.4 Theory of relatives and model theory 51 2.5 Firstorder logic of relatives 66
 Chapter 3. Changing the Order of Quantifiers 73 3.1 Schroder's proposal 73 3.2 Lowenheim's approach 81 3.3 The problem of expansions 87 3.4 Skolem functions 94
 Chapter 4. The Lowenheim Normal Form 107 4.1 The Lowenheim normal form of an equation 107 4.2 Comments on Lowenheim's method 113 4.3 Conclusions 122
 Chapter 5. Preliminaries to Lowenheim's Theorem 129 5.1 Indices and elements 129 5.2 Types of indices 132 5.3 Assignments 135 5.4 Types of equations 138
 Chapter 6. Lowenheim's Theorem 143 6.1 The problem 143 6.2 An analysis of Lowenheim's proof 148 6.3 Reconstructing the proof 191 Appendix. FirstOrder Logic with Fleeing Indices 207 A.1 Introduction 207 A.2 Syntax 207 A.3 Semantics 211 A.4 The Lowenheim normal form 217 A.5 Lowenheim's theorem 220 References 227 Index 237.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Badesa, Calixto.
 Princeton : Princeton University Press, 2008.
 Description
 Book — 1 online resource (254 pages)
 Summary

 Preface ix
 Chapter 1. Algebra of Classes and Propositional Calculus 1 1.1 Boole 1 1.2 Jevons 10 1.3 Peirce 12 1.4 Schroder 17
 Chapter 2. The Theory of Relatives 31 2.1 Introduction 31 2.2 Basic concepts of the theory of relatives 33 2.3 Basic postulates of the theory of relatives 40 2.4 Theory of relatives and model theory 51 2.5 Firstorder logic of relatives 66
 Chapter 3. Changing the Order of Quantifiers 73 3.1 Schroder's proposal 73 3.2 Lowenheim's approach 81 3.3 The problem of expansions 87 3.4 Skolem functions 94
 Chapter 4. The Lowenheim Normal Form 107 4.1 The Lowenheim normal form of an equation 107 4.2 Comments on Lowenheim's method 113 4.3 Conclusions 122
 Chapter 5. Preliminaries to Lowenheim's Theorem 129 5.1 Indices and elements 129 5.2 Types of indices 132 5.3 Assignments 135 5.4 Types of equations 138
 Chapter 6. Lowenheim's Theorem 143 6.1 The problem 143 6.2 An analysis of Lowenheim's proof 148 6.3 Reconstructing the proof 191 Appendix. FirstOrder Logic with Fleeing Indices 207 A.1 Introduction 207 A.2 Syntax 207 A.3 Semantics 211 A.4 The Lowenheim normal form 217 A.5 Lowenheim's theorem 220 References 227 Index 237.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Badesa, Calixto, author.
 Course Book.  Princeton, N.J. : Princeton University Press, [2004]
 Description
 Book — 1 online resource (256 pages) : illustrations. Digital: text file; PDF.
 Summary

 Frontmatter
 Contents
 Preface
 Chapter 1. Algebra of Classes and Propositional Calculus
 Chapter 2. The Theory of Relatives
 Chapter 3. Changing the Order of Quantifiers
 Chapter 4. The Löwenheim Normal Form
 Chapter 5. Preliminaries to Löwenheim’s Theorem
 Chapter 6. Löwenheim’s Theorem
 Appendix. FirstOrder Logic with Fleeing Indices
 References
 Index.
 Badiou, Alain.
 Paris, F. Maspero, 1969.
 Description
 Book — 95 p. 20 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.7 .B34 1969  Available 
 Badiou, Alain.
 Nouvelle édition augmentée.  [Paris] : Fayard, c2007.
 Description
 Book — 197 p. : ill. ; 22 cm.
 Online
11. Categoricity [2009]
 Baldwin, John T.
 Providence, R.I. : American Mathematical Society, c2009.
 Description
 Book — xi, 235 p. : ill. ; 26 cm.
 Summary

Modern model theory began with Morley's categoricity theorem: A countable firstorder theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. He invented the notion of an Abstract Elementary Class to give a unifying semantic account of theories in firstorder, infinitary logic and with some generalized quantifiers. Zilber developed similar techniques of infinitary model theory to study complex exponentiation. This book provides the first unified and systematic exposition of this work. The many examples stretch from pure model theory to module theory and covers of Abelian varieties. Assuming only a first course in model theory, the book expounds eventual categoricity results (for classes with amalgamation) and categoricity in excellent classes. Such crucial tools as Ehrenfeucht  Mostowski models, Galois types, tameness, omittingtypes theorems, multidimensional amalgamation, atomic types, good sets, weak diamonds, and excellent classes are developed completely and methodically. The (occasional) reliance on extensions of basic set theory is clearly laid out. The book concludes with a set of open problems.
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.67 .B35 2009  Unknown 
12. Fundamentals of stability theory [1988]
 Baldwin, John T.
 Berlin ; New York : SpringerVerlag, c1988.
 Description
 Book — xiii, 447 p. : ill. ; 25 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.7 .B35 1988  Available 
13. Fundamentals of stability theory [2016]
 Baldwin, John T., author.
 Cambridge : Cambridge University Press, 2016.
 Description
 Book — 1 online resource (xiii, 447 pages) : illustrations
 Summary

 Acknowledgements
 1. Groundwork
 Part I. Independence: 2. The abstract notion of independence
 3. Forking
 4. Finite equivalence relations, definability, and strong types
 5. Indiscernibles in stable theories
 6. Orthogonality
 7. Rank
 8. Normalization and Teq
 Part II. Dependence and Prime Models: 9. Atomic and prime models
 10. Freeness and isolation
 Part III. Local Dimension Theory: 11. Acceptable classes
 12. Regular types
 13. Decomposition theorems and weight
 Part IV. The Number of Models: 14. The construction of many nonisomorphic models
 15. The width of a theory
 16. The dimensional order property
 17. NDOP: theories without the dimensional order property
 18. Vaught and Morley conjectures for stable countable theories
 Bibliography
 Subject index
 Symbol index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for ωstable theories.
 Ball, Joseph A., 1947
 Providence : American Mathematical Society, [1978]
 Description
 Book — iii, 68 p. ; 25 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA3 .A57 NO.198  Available 
15. The situation in logic [1984  1988]
 Barwise, Jon.
 Stanford, Calif. : Center for the Study of Language and Information, Stanford University, 19841988.
 Description
 Book — 4 v. ; 28 cm.
 Summary

 1. [without special title].
 2. Conditionals and conditional information.
 3. Situations, sets and the axiom of foundation.
 4. On the model theory of common knowledge.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks

Request (opens in new tab) 
BC135 .B37 1984 V.1  Available 
BC135 .B37 1984 V.2  Available 
BC135 .B37 1984 V.3  Available 
BC135 .B37 1984 V.4  Available 
 Bell, J. L. (John Lane)
 Oxford : Clarendon Press, 1977.
 Description
 Book — xviii, 126 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B44 1977  Available 
 Bell, J. L. (John Lane)
 2nd ed.  Oxford [Oxfordshire] : Oxford University Press, 1985.
 Description
 Book — xx, 165 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .B44 1985  Available 
18. Models and ultraproducts [1971]
 Bell, J. L. (John Lane)
 2nd revised [ed.]  Amsterdam, NorthHolland Publishing Co., 1971.
 Description
 Book — xi, 322 p. illus. 23 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9 .B27 1971  Available 
19. Models and ultraproducts: an introduction [1969]
 Bell, J. L. (John Lane)
 Amsterdam, NorthHolland Pub. Co., 1969.
 Description
 Book — ix, 322 p. 23 cm.
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA9 .B27  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9 .B27  Available 
20. Generative complexity in algebra [2005]
 Berman, Joel, 1943
 Providence, R.I. : American Mathematical Society, 2005.
 Description
 Book — vii, 159 p. : ill. ; 26 cm.
 Summary

 Introduction Background material
 Part 1. Introducing Generative Complexity: Definitions and examples Semilattices and lattices Varieties with a large number of models Upper bounds Categorical invariants
 Part 2. Varieties with Few Models: Types 4 or 5 need not apply Semisimple may apply Permutable may also apply Forcing modular behavior Restricting solvable behavior Varieties with very few models Restricting nilpotent behavior Decomposing finite algebras Restricting affine behavior A characterization theorem
 Part 3. Conclusions: Application to groups and rings Open problems Tables Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Serials  
Shelved by Series title NO.828  Unknown 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.