Dear Lev
I have enjoyed your essay very much. You point a very interesting fact and is how our conception of the continuum through points is based on the notion of limit. On my essay I try to explain how this conception of limit and others are just the tools that allow classical logic work on our conception of reality. Once we remove the excluded middle from our logic, concepts like limits, closed sets etc. loose their meaning and our continuum recover its relational character. We can keep then a lot of the richness of our classical formalism but getting the powerful relational character that you propose. I wonder what kind of logic governs the models you proposed, I think my ideas can be useful to you, I find particularly interesting your new conception of the Peano axioms I think it could have a closed relation with the models I propose. I would like to hear your opinions about it.
Regards,
J. Benavides