Strongly minimal reducts of valued fields
We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.
Source author record
Serge Randriambololona
Serge Randriambololona appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
4works
2topics
2close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
4 published item(s)
preprint2013arXiv
O-minimal structures: low arity versus generation
We show that an analogue of the Hilbert's Thirteenth Problem fails in the real subanalytic setting.Namely we prove that, for any integer $n$, the o-minimal structure generated by restricted analytic functions in $n$ variables is strictly smaller than the structure of all global subanalytic sets, whereas these two structures define the same subsets in $\mathbb R ^{n+1}$.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation
This article presents two constructions motivated by a conjecture of L. van den Dries and C. Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a real closed field that possess the same field of germs at infinity of one-variable functions and yet define different global one-variable functions. The second construction gives an example of a family of infinitely many distinct polynomially bounded reducts (all this in the sense of definability) of the restricted analytic field with exponentiation.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Some (non-)elimination results for curves in geometric structures
We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs either to be of dimension $\leq 1$ or to have a complement of dimension $\leq 1$, one can restate the former result as a failure of quantifier elimination for planar complex algebraic curves. We then prove that removing the planarity hypothesis suffices to recover quantifier elimination: the structure with the universe $\mathbb C$ and a predicate for each algebraic subset of $\mathbb C^n$ of dimension $\leq 1$ has quantifier elimination.
0 citations0 reviewsNo code linkedOpen access