I have added to my book section “Expressing limits as implications”. The main (easy to prove) theorem basically states that
Continue readingMath Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
I have added to my book section “Expressing limits as implications”. The main (easy to prove) theorem basically states that
Continue reading