Algebraic types in Zilber's exponential field

Vahagn Aslanyan; Jonathan Kirby

Algebraic types in Zilber's exponential field

Research output: Contribution to journal › Article › peer-review

Abstract

We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof.

Original language	English
Journal	Model Theory
Publication status	Accepted/In press - 11 Nov 2024

Keywords

math.LO
math.NT
03C60 (primary), 03C65, 12L12

Access to Document

http://arxiv.org/pdf/2405.01399v2

Cite this

@article{11325e636d5549d8be9ee216a0bc9cd1,

title = "Algebraic types in Zilber's exponential field",

abstract = "We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof. ",

keywords = "math.LO, math.NT, 03C60 (primary), 03C65, 12L12",

author = "Vahagn Aslanyan and Jonathan Kirby",

year = "2024",

month = nov,

day = "11",

language = "English",

journal = "Model Theory",

issn = "2832-904X",

publisher = "Mathematical Sciences Publishers",

}

TY - JOUR

T1 - Algebraic types in Zilber's exponential field

AU - Aslanyan, Vahagn

AU - Kirby, Jonathan

PY - 2024/11/11

Y1 - 2024/11/11

N2 - We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof.

AB - We characterise the model-theoretic algebraic closure in Zilber's exponential field. A key step involves showing that certain algebraic varieties have finite intersections with certain finite-rank subgroups of the graph of exponentiation. Mordell-Lang for algebraic tori (a theorem of Laurent) plays a central role in our proof.

KW - math.LO

KW - math.NT

KW - 03C60 (primary), 03C65, 12L12

M3 - Article

JO - Model Theory

JF - Model Theory

SN - 2832-904X

ER -