The Monotonic Sequence Theorem and Measurement of Lengths and Areas in Axiomatic Non-Standard Hyperrational Analysis. - Yuri N. Lovyagin; Nikita Y. Lovyagin (Axioms, 2019)

Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis. - Yuri N. Lovyagin; Nikita Y. Lovyagin (Axioms, 2021)