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 math.LOShow all

8 papers · 1 filter

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

math.LO2014

Turing degree spectra of differentially closed fields

David Marker, Russell Miller

The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of so…