RECORD
Natural models of theories of green points
Logic · Submitted 14 Jan 2014
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel's conjecture or an analogous conjecture for the exponential map of the elliptic curve hold. In the multiplicative group case, however, the results are unconditional for generic choices of the parameters.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. | contribution 0.86 | 0.95 | 0.59 | asserted 1.00 |
| s1 | In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel's conjecture or an analogous conjecture for the exponential map of the elliptic curve hold. | limitation 0.40 | 0.93 | 0.27 | asserted 0.85 |
| s2 | In the multiplicative group case, however, the results are unconditional for generic choices of the parameters. | result 0.87 | 0.89 | 0.16 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel's conjecture or an analogous conjecture for the exponential map of the elliptic curve hold. In the multiplicative group case, however, the results are unconditional for generic choices of the parameters.
Human review
How the literature uses it
1 arXiv paper cite this in 1 sentence
Papers citing it
Uses its method or tool 1 paper
-
The following proof was explained to us by Juan Diego Caycedo, and follows the proof of a related statement in section 3 of [ref] .
Pseudo-exponential maps, variants, and quasiminimality · The predimension inequalities · 0.94
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.