• Title of article

    BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART I

  • Author/Authors

    BALDWIN, J. University of Illinois at Chicago - Department of Mathematics, Statistics, and Computer Science, USA , HYTTINEN, T. University of Helsinki - Department of Mathematics and Statistics, Finland , KESÄLÄ, M. University of Helsinki - Department of Mathematics and statistics, Finland

  • From page
    1
  • To page
    26
  • 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.
  • Keywords
    Mathematical logic , model theory.
  • Journal title
    Bulletin of the Iranian Mathematical Society
  • Journal title
    Bulletin of the Iranian Mathematical Society
  • Record number

    2672404

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=2672404