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 2014Show all

2 papers · 1 filter

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…