TY  - RPRT
TI  - Decidability of the Natural Numbers with the Almost-All Quantifier
AU  - David Marker
AU  - Theodore A. Slaman
PY  - 2006
UR  - https://arxiv.org/abs/math/0602415
ID  - math/0602415
ER  -