Classification Theory Proceedings of the U.S.-Israel Workshop on Mod
- PDF / 33,685,814 Bytes
- 512 Pages / 468 x 684 pts Page_size
- 9 Downloads / 228 Views
1292 J. T. Baldwin
(Ed.)
Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann
1292 J. T. Baldwin
(Ed.)
Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Editor John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois Box 4348, Chicago, IL 60680, USA
Mathematics Subject Classification (1980): 03C ISBN 3-540-18674-3 Sprinqer-Verlaq Berlin Heidelberg New York ISBN 0-387-18674-3 Springer-Verlag New York Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 1987 Printed in Germany Printing and binding: Druckhaus Beltz, HemsbachfBergstr. 2146/3140-543210
PREFACE This volume represents the Proceedings of the U.S.-Israel Binational Workshop on Model Theory in Mathematical Logic: Classification Theory. The conference was held in Chicago on December 15-19, 1985. It was sponsored jointly by the National Science Foundation of the United States and the Ministry of Science of Israel. We greatly appreciate their support. The volume contains several surveys of important recent work (with some new proofs) and research papers. All the papers were refereed by various members of the conference. The immediately following paper surveys the area of Classification Theory and serves as an introduction to this collection.
John T. Baldwin University of Illinois, Chicago May, 1987
TABLE OF CONTENTS J.T. Baldwin Classification Theory 1985
1
J.T. Baldwin and J. Berman Concrete representations of lattices and the fundamental order
24
S. Buechler Classification of small weakly minimal sets 1.
32
Z. Chatzidakis, G.L. Cherlin, G. Srour, S. Shelah, & C. Wood The dimensional order property for separably closed fields
72
V. Harnik Countable or wl-like models of Presburger's arithmetic
89
B. Hart An exposition of aTOP
107
J.T. Baldwin and Charles Steinhorn Exercises on Local Weight
127
U. Hrushovski Locally modular regular types
13 2
H.J. Keisler Choosing elements in a saturated model
165
J. Knight Degrees of models with prescribed Scott set
182
J. Knight & A.H. Lachlan Shrinking, stretching and codes for homogeneous structures
192
L. Manevitz & L. Rowan Freedom vi
