Source author record

Serge Randriambololona

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CA

Catalog footprint

Research overview

4works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

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.

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}$ .

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.

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.

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.