2
Department of Mathematics and Statistics University of Helsinki
Abstract
We study the history and recent developments in nonelementary model theory focusing on the framework of abstract elementary classes. We discuss the role of syntax and semantics and the motivation to generalize first order model theory to nonelementary frameworks and illuminate the study with concrete examples of classes of models.
This first part introduces the main conceps and philosophies and discusses two research questions, namely categoricity transfer and the stability classification.
Baldwin, J., Hyttinen, T., & Kesala, M. (2013). Beyond First Order Logic: From number of structures to structure of
numbers: Part I. Bulletin of the Iranian Mathematical Society, 39(1), 1-26.
MLA
J. Baldwin; T. Hyttinen; M. Kesala. "Beyond First Order Logic: From number of structures to structure of
numbers: Part I". Bulletin of the Iranian Mathematical Society, 39, 1, 2013, 1-26.
HARVARD
Baldwin, J., Hyttinen, T., Kesala, M. (2013). 'Beyond First Order Logic: From number of structures to structure of
numbers: Part I', Bulletin of the Iranian Mathematical Society, 39(1), pp. 1-26.
VANCOUVER
Baldwin, J., Hyttinen, T., Kesala, M. Beyond First Order Logic: From number of structures to structure of
numbers: Part I. Bulletin of the Iranian Mathematical Society, 2013; 39(1): 1-26.