A short approach to the Kurzweil-Henstock integral is outlined, based on approximating a real function on a compact interval by suitable step-functions, and using filterbase convergence to define the integral. The properties of the integral are then easy to establish.
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.