Title | Classification Theory [electronic resource] : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / edited by John T. Baldwin |
---|---|

Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1987 |

Connect to | http://dx.doi.org/10.1007/BFb0082228 |

Descript | VIII, 508 p. online resource |

CONTENT

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

Mathematics
Mathematical logic
Mathematics
Mathematical Logic and Foundations