相关论文: Natural models of theories of green points

Poizat's construction of theories of fields with a multiplicative subgroup of green points is extended in several directions: First, we also construct similar theories where the green points form a divisible…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

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…

In a series of papers we classify the possible torsion structures of rational elliptic curves base-extended to number fields of a fixed degree. In this paper we turn our attention to the question of how the torsion of an elliptic curve with…

We obtain explicit formulas for the number of non-isomorphic elliptic curves with a given group structure (considered as an abstract abelian group). Moreover, we give explicit formulas for the number of distinct group structures of all…

We construct an expansion of a real closed field by a multiplicative subgroup adapting Poizat's theory of green points. Its theory is strongly dependent, and every open set definable in a model of this theory is semialgebraic. We prove that…

We study the collection of group structures that can be realized as a group of rational points on an elliptic curve over a finite field (such groups are well known to be of rank at most two). We also study various subsets of this collection…

The exponential family of models is defined in a general setting, not relying on probability theory. Some results of information geometry are shown to remain valid. Exponential families both of classical and of quantum mechanical…

For a given elliptic curve $E$ over a finite local ring, we denote by $E^{\infty}$ its subgroup at infinity. Every point $P \in E^{\infty}$ can be described solely in terms of its $x$-coordinate $P_x$, which can be therefore used to…

We prove a boundedness-theorem for families of abelian varieties with real multiplication. More generally, we study curves in Hilbert modular varieties from the point of view of the Green Griffiths-Lang conjecture claiming that entire…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

We show, assuming Schanuel's conjecture, that every irreducible complex polynomial in two variables where both variables appear has infinitely many algebraically independent solutions of the form (z,e^z).

This thesis examines the relationship between elliptic curves with complex multiplication and Lambda structures. Our main result is to show that the moduli stack of elliptic curves with complex multiplication, and the universal elliptic…

The problem of asymptotic expansions of Green functions in perturbative QFT is studied for the class of Euclidean asymptotic regimes. Phenomenological applications are analyzed to obtain a meaningful mathematical formulation of the problem.…

We give a new characterisation of elliptic curves of Shimura type in terms commuting families of Frobenius lifts and also strengthen an old principal ideal theorem for ray class fields. These two results combined yield the existence of…

Suppose $E$ is an elliptic curve defined over $\Q$. At the 1983 ICM the first author formulated some conjectures that propose a close relationship between the explicit class field theory construction of certain abelian extensions of…

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…

We construct a class of finite rank multiplicative subgroups of the complex numbers such that the expansion of the real field by such a group is model-theoretically well-behaved. As an application we show that a classification of expansions…

We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is…

We study solutions of exponential polynomials over the complex field. Assuming Schanuel's conjecture we prove that certain polynomials have generic solutions in the complex field.