Decidability of the Natural Numbers with the Almost-All Quantifier

David Marker, Theodore A. Slaman

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substruc…