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

1 paper · 1 filter

math.LO2012

Uncountable Real Closed Fields with PA Integer Parts

David Marker, James Schmerl, Charles Steinhorn

D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for e…