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

9 papers

math.LO2026

Finding suitably generic points on curves with an application to the construction of rigid real closed fields

Dragos Ghioca, David Marker, Charles Steinhorn

Let be an algebraically closed field of characteristic 0 and transcendence degree at least 2. Let be an irreducible curve defined over but not defined over t…

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.

math.LO2020

Anti-classification results for groups acting freely on the line

Filippo Calderoni, David Marker, Luca Motto Ros +1

We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings for a given…

math.LO2017

Scattered Sentences have Few Separable Randomizations

Uri Andrews, Isaac Goldbring, Sherwood Hachtman +2

In the paper "Randomizations of Scattered Sentences", Keisler showed that if Martin's axiom for aleph one holds, then every scattered sentence has few separable randomizations, and…

math.LO2014

Representing Scott sets in algebraic settings

Alf Dolich, Julia Knight, Karen Lange +1

We prove that for every Scott set there are -saturated real closed fields and models of Presburger arithmetic.