Some model theory of simple algebraic groups over algebraically closed fields
B. I. Zilber (1984)
Colloquium Mathematicae
H. Kotlarski (1978)
Fundamenta Mathematicae
Gradimir Vojvodić (1978)
Publications de l'Institut Mathématique
Jean-Louis Duret (1980/1982)
Groupe d'étude de théories stables
Bruno Poizat (1977/1978)
Groupe d'étude de théories stables
Vlad Boicescu (1971)
Publications du Département de mathématiques (Lyon)
James H. Schmerl (1976)
Colloquium Mathematicae
John Baldwin (1973)
Fundamenta Mathematicae
Ayhan Günaydın, Philipp Hieronymi (2011)
Fundamenta Mathematicae
We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets definable in that structure are semialgebraic.
J. Cowles (1979)
Fundamenta Mathematicae
Wolfgang Thomas (1978)
Mathematische Annalen
A. Lachlan (1974)
Fundamenta Mathematicae
В.И. Зильбер (1974)
Algebra i Logika
P. Lorenzen (1972)
Archiv für mathematische Logik und Grundlagenforschung
Jan Waszkiewicz (1973)
Colloquium Mathematicae
А.А. Степанова (1994)
Sibirskij matematiceskij zurnal
А.А. Степанова (1984)
Algebra i Logika
Н.К. Косовский (1967)
Zapiski naucnych seminarov Leningradskogo
А.С. Морозов (1999)
Sibirskij matematiceskij zurnal
В.И. Степанов (1984)
Matematiceskij sbornik