Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues

Mojtaba Moniri, Jafar S. Eivazloo

Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalen…