Nonstandard Analysis, Axiomatically
By V. Kanovei, M. Reeken. 2004
93 citations recorded by the source corpus.
Subfields: Mathematical Physics, Theoretical Computer Science
View Paper: https://www.semanticscholar.org/paper/5efe834fbcb363169ad1c5adcfbabf5d46f9dbb5
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Mathematical Physics
In Theoretical Computer Science
Citations in the corpus
- Is mathematical history written by the victors (2013, methodology): “A proof in the framework of modern nonstandard analysis, formalizing Euler’s argument step-by-step throughout, appeared in (Kanovei 1988 [61]); see also (McKinzie & Tuckey 1997 [92]) and (Kanovei & Reeken 2004 [63, Section 2.4a]).”