Beyond First Order Logic

From number of structures to structure of numbers: Part I

Forskningsoutput: TidskriftsbidragÖversiktsartikelVetenskapligPeer review

Sammanfattning

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.
Originalspråkengelska
TidskriftBulletin of Iranian Mathematical Society
Volym39
Utgåva1
Sidor (från-till)1-26
Antal sidor26
ISSN1018-6301
StatusPublicerad - mar 2013
MoE-publikationstypA2 Granska artikel i en vetenskaplig tidskrift

Vetenskapsgrenar

  • 111 Matematik

Citera det här

@article{864dff22071444a591729362403760a0,
title = "Beyond First Order Logic: From number of structures to structure of numbers: Part I",
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 = "111 Mathematics, Model theory, mathematical logic",
author = "J. Baldwin and T. Hyttinen and M. Kes{\"a}l{\"a}",
year = "2013",
month = "3",
language = "English",
volume = "39",
pages = "1--26",
journal = "Bulletin of Iranian Mathematical Society",
issn = "1018-6301",
publisher = "Iranian Mathematical Society",
number = "1",

}

Beyond First Order Logic : From number of structures to structure of numbers: Part I. / Baldwin, J.; Hyttinen, T.; Kesälä, M.

I: Bulletin of Iranian Mathematical Society, Vol. 39, Nr. 1, 03.2013, s. 1-26.

Forskningsoutput: TidskriftsbidragÖversiktsartikelVetenskapligPeer review

TY - JOUR

T1 - Beyond First Order Logic

T2 - From number of structures to structure of numbers: Part I

AU - Baldwin, J.

AU - Hyttinen, T.

AU - Kesälä, M.

PY - 2013/3

Y1 - 2013/3

N2 - 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.

AB - 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.

KW - 111 Mathematics

KW - Model theory

KW - mathematical logic

M3 - Review Article

VL - 39

SP - 1

EP - 26

JO - Bulletin of Iranian Mathematical Society

JF - Bulletin of Iranian Mathematical Society

SN - 1018-6301

IS - 1

ER -