We present axioms for the real numbers by imposing the field axioms on the rational numbers and then show that they are a field. We prove all our theorems constructively.
Connectedness in structures on the real numbers: o-minimality and undecidability
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
On $\aleph_ω$ being Jónsson
![QR code for arXiv:1808.00906 [math.LO]](http://oss.arxitics.com/images/favicon.svg)