Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / [electronic resource] :
edited by John T. Baldwin.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1987.
- VIII, 508 p. online resource.
- Lecture Notes in Mathematics, 1292 0075-8434 ; .
- Lecture Notes in Mathematics, 1292 .
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.
9783540480495
10.1007/BFb0082228 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
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.
9783540480495
10.1007/BFb0082228 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3