Showing 1–6 of 6 results for author: Randriambololona, S

Strongly minimal reducts of valued fields

Authors: Piotr Kowalski, Serge Randriambololona

Abstract: 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. 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. △ Less

Submitted 10 September, 2015; v1 submitted 14 August, 2014; originally announced August 2014.

MSC Class: 03C45; 12J25

O-minimal structures: low arity versus generation

Authors: Serge Randriambololona

Abstract: 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}$. 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}$. △ Less

Submitted 18 March, 2013; originally announced March 2013.

Comments: 10 pages

MSC Class: 03C64; 26B40; 32B20; 32A05

Journal ref: Illinois J. Math. 49 (2005), no. 2, 547--558

Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation

Authors: Serge Randriambololona

Abstract: 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 co… ▽ More 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. △ Less

Submitted 18 March, 2013; originally announced March 2013.

Comments: 10 pages

MSC Class: Primary 03C64; Secondary 32B20

Tameness of holomorphic closure dimension in a semialgebraic set

Authors: Janusz Adamus, Serge Randriambololona

Abstract: Given a semianalytic set S in a complex space and a point p in S, there is a unique smallest complex-analytic germ at p which contains the germ of S, called the holomorphic closure of S at p. We show that if S is semialgebraic then its holomorphic closure is a Nash germ, for every p, and S admits a semialgebraic filtration by the holomorphic closure dimension. As a consequence, every semialgebraic… ▽ More Given a semianalytic set S in a complex space and a point p in S, there is a unique smallest complex-analytic germ at p which contains the germ of S, called the holomorphic closure of S at p. We show that if S is semialgebraic then its holomorphic closure is a Nash germ, for every p, and S admits a semialgebraic filtration by the holomorphic closure dimension. As a consequence, every semialgebraic subset of a complex vector space admits a semialgebraic stratification into CR manifolds satisfying a strong version of the condition of the frontier. △ Less

Submitted 27 September, 2017; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: Published version

MSC Class: Primary 14P10; 32C07; 32V40; Secondary 32S45

Journal ref: Math. Ann. 355 (2013), 985--1005

Some (non-)elimination results for curves in geometric structures

Authors: Serge Randriambololona, Sergei Starchenko

Abstract: 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 plana… ▽ More 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. △ Less

Submitted 19 September, 2011; v1 submitted 10 November, 2010; originally announced November 2010.

Comments: 17 pages, accepted in Fundamenta Mathematicae

MSC Class: 03C10; 03C60; 14H50

Tameness of complex dimension in a real analytic set

Authors: Janusz Adamus, Serge Randriambololona, Rasul Shafikov

Abstract: Given a real analytic set X in a complex manifold and a positive integer d, denote by A(d) the set of points p in X at which there exists a germ of a complex analytic set of dimension d contained in X. It is proved that A(d) is a closed semianalytic subset of X. Given a real analytic set X in a complex manifold and a positive integer d, denote by A(d) the set of points p in X at which there exists a germ of a complex analytic set of dimension d contained in X. It is proved that A(d) is a closed semianalytic subset of X. △ Less

Submitted 27 September, 2017; v1 submitted 21 June, 2010; originally announced June 2010.

Comments: Published version

MSC Class: 32B10; 32B20; 32C07; 32C25; 32V15; 32V40; 14P15

Journal ref: Can. J. Math.-J. Can. Math. 65 (2013) 721-739