Source author record

Françoise Point

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 math.GR math.NT

Catalog footprint

Research overview

4works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Topological fields with a generic derivation

We study a class of tame $\mathcal{L}$ -theories $T$ of topological fields and their $\mathcal{L}_δ$ -extension $T_δ^*$ by a generic derivation $δ$ . The topological fields under consideration include henselian valued fields of characteristic 0 and real closed fields. We show that the associated expansion by a generic derivation has $\mathcal{L}$ -open core (i.e., every $\mathcal{L}_δ$ -definable open set is $\mathcal{L}$ -definable) and derive both a cell decomposition theorem and a transfer result of elimination of imaginaries. Other tame properties of $T$ such as relative elimination of field sort quantifiers, NIP and distality also transfer to $T_δ^*$ . As an application, we derive consequences for the corresponding theories of dense pairs. In particular, we show that the theory of pairs of real closed fields (resp. of $p$ -adically closed fields and real closed valued fields) admits a distal expansion. This gives a partial answer to a question of P. Simon.

preprint2020arXiv

On expansions of $(\mathbf{Z},+,0)$

Call a (strictly increasing) sequence $(r_{n})$ of natural numbers \emph{regular} if it satisfies the following condition: $r_{n+1}/r_{n}\toθ\in\mathbb{R}^{>1}\cup\{\infty\}$ and, if $θ$ is algebraic, then $(r_{n})$ satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of $θ$ . Our main result states that $(\mathbb{Z},+,0,R)$ is superstable whenever $R$ is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We also show that $(\mathbb{Z},+,0,<,R)$ is NIP whenever $R$ is enumerated by a regular sequence that is ultimately periodic modulo $m$ for all $m>1$ .

preprint2014arXiv

Separably closed fields and contractive Ore modules

We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augmented with functions yielding components for a p-basis and a chain of subgroups indexed by the valuation group.

preprint2012arXiv

Alternatives for pseudofinite groups

The famous Tits' alternative states that a linear group either contains a nonabelian free group or is soluble-by-(locally finite). We study in this paper similar alternatives in pseudofinite groups. We show for instance that an $\aleph_{0}$ -saturated pseudofinite group either contains a subsemigroup of rank $2$ or is nilpotent-by-(uniformly locally finite). We call a class of finite groups $G$ weakly of bounded rank if the radical $rad(G)$ has a bounded Prüfer rank and the index of the sockel of $G/rad(G)$ is bounded. We show that an $\aleph_{0}$ -saturated pseudo-(finite weakly of bounded rank) group either contains a nonabelian free group or is nilpotent-by-abelian-by-(uniformly locally finite). We also obtain some relations between this kind of alternatives and amenability.

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 Point

Research overview

Is this your work?

4 publications

Topological fields with a generic derivation

On expansions of $(\mathbf{Z},+,0)$

Separably closed fields and contractive Ore modules

Alternatives for pseudofinite groups

See the researcher in context

Building this map preview

Françoise Point

Research overview

Is this your work?

4 publications

Topological fields with a generic derivation

On expansions of (Z,+,0)(\mathbf{Z},+,0)(Z,+,0)

Separably closed fields and contractive Ore modules

Alternatives for pseudofinite groups

See the researcher in context

Building this map preview

On expansions of $(\mathbf{Z},+,0)$