Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Paraconsistent Dominated Convergence
Anggha Nugraha
The Levi-Civita field of formal Laurent series is a constructive, non-Archimedean ordered field that supports a full Lebesgue measure and integration theory, includin…
math.LO2026
A Constructive Field of Infinitesimals: Chunk and Permeate Approach
Anggha Nugraha, Anggha S. Nugraha
While intuitive, naïve infinitesimal reasoning is classically inconsistent, and rigorous nonstandard analysis relies on non-constructive machinery. We resolve this tension by cons…