activity
20062026
most citedDecidability of the Natural Numbers with the Almost-All Quantifier

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

math.CA2022

On the equations of Poizat and Liénard

James Freitag, Rémi Jaoui, David Marker +1

We study the structure of the solution sets in universal differential fields of certain differential equations of order two, the Poizat equations, which are particular cases of Lié…

math.LO2022

Rigid Differentially Closed Fields

David Marker

Using ideas from geometric stability theory we construct differentially closed fields with no non-trivial automorphisms.