Cauchy sequences of rationals can be used to model the reals.
Has anyone actually tried though to develop a theory of real analysis explicitly in this model?
Some definitions seem like they would be straightforward to convert into this model, but I am not sure about others.
I guess we probably wouldn't gain anything, but it would be interesting to see.
Does someone have a reference maybe?