Source author record

Françoise Delon

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.AC

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Definable completeness of $P$ -minimal fields and applications

We show that every definable nested family of closed and bounded subsets of a $P$ -minimal field $K$ has non-empty intersection. As an application we answer a question of Darnière and Halupczok showing that $P$ -minimal fields satisfy the "extreme value property": for every closed and bounded subset $U\subseteq K$ and every interpretable continuous function $f\colon U \to Γ_K$ (where $Γ_K$ denotes the value group), $f(U)$ admits a maximal value. Two further corollaries are obtained as a consequence of their work. The first one shows that every interpretable subset of $K\timesΓ_K^n$ is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every $P$ -minimal field is polynomially bounded. The second one characterizes those $P$ -minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues.

preprint2014arXiv

Definable types in algebraically closed valued fields

Marker and Steinhorn shown that given two models $M\prec N$ of an o-minimal theory, if all 1-types over $M$ realized in $N$ are definable, then all types over $M$ realized in $N$ are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. Although it is true that if $M$ is an algebraically closed valued field such that all 1-types over $M$ are definable then all types over $M$ definable, we build a counterexample for the relative statement, \textit{i.e.}, we show for any $n\geq 1$ that there is a pair $M\prec N$ of algebraically closed valued fields such that all $n$ -types over $M$ realized in $N$ are definable but there is an $n+1$ -type over $M$ realized in $N$ which is not definable. Finally, we discuss what happens in the more general context of $C$ -minimality.

preprint2014arXiv

Group construction in non-trivial geometric $C$ -minimal structures

We show that an infinite group is definable in any non trivial geometric $C$ -minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No kind of linearity is assumed.

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.

Françoise Delon

Research overview

Is this your work?

3 publications

Definable completeness of $P$ -minimal fields and applications

Definable types in algebraically closed valued fields

Group construction in non-trivial geometric $C$ -minimal structures

See the researcher in context

Building this map preview

Françoise Delon

Research overview

Is this your work?

3 publications

Definable completeness of PPP-minimal fields and applications

Definable types in algebraically closed valued fields

Group construction in non-trivial geometric CCC-minimal structures

See the researcher in context

Building this map preview

Definable completeness of $P$ -minimal fields and applications

Group construction in non-trivial geometric $C$ -minimal structures