HomePublications

Existentially closed exponential fields

Research output: Contribution to journalArticle

Standard

Existentially closed exponential fields. / Haykazyan, Levon ; Kirby, Jonathan.

In: Israel Journal of Mathematics, 31.10.2019.

Research output: Contribution to journalArticle

Harvard

APA

Vancouver

Author

Bibtex- Download

@article{dd7ce5d41c6b4ce690eb5b8711ea9802,
title = "Existentially closed exponential fields",
abstract = "We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP1 but TP2.",
author = "Levon Haykazyan and Jonathan Kirby",
year = "2019",
month = oct,
day = "31",
language = "English",
journal = "Israel Journal of Mathematics",
issn = "0021-2172",
publisher = "Springer",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Existentially closed exponential fields

AU - Haykazyan, Levon

AU - Kirby, Jonathan

PY - 2019/10/31

Y1 - 2019/10/31

N2 - We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP1 but TP2.

AB - We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP1 but TP2.

M3 - Article

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

SN - 0021-2172

ER -

ID: 169675760