Elementary real analysis in the nonstandard universe

  • Vladimir Kanovei
  • Michael Reeken
Part of the Springer Monographs in Mathematics book series (SMM)


Our main subject in this Chapter will be the development of nonstandard real analysis in the frameworks of the foundational scheme “\({\text{WF}}\xrightarrow{*}\left| {\left[ {{\text{in}}{\kern 1pt} {\text{H}}} \right]} \right.\)” of HST (as explained in § 1.2a). Of course, by no means can we hope to prove any new mathematical fact this way: indeed, if Φ is an ∈-sentence then Φ wf, the relativization of Φ to WF, is provable in HST if and only if Φ is a theorem of ZFC (Theorem 1.1.14). Yet a broader “external” view brings us new insights into the nature of very common mathematical objects, or rather restores, at the level of full mathematical rigor, mathematical ideas and constructions once successfully employed by the masters of early calculus but then abandoned as too vague to admit rigorous treatment.


Real Analysis Simple Polygon Standard Element Exterior Region Nonstandard Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Kanovei
    • 1
  • Michael Reeken
    • 2
  1. 1.IITP, Institute for Information TransmissionMoscowRussian Federation
  2. 2.Bergische Universität WuppertalFB C MathematikWuppertalGermany

Personalised recommendations