Skip to main content
Article thumbnail
Location of Repository

Transfer Principles for Non Standard Analysis

By Paul-elliot Anglès D’auriac


Non standard analysis is a model of analysis, reals, functions and also infinitesimals, which differs from the usual interpretation of those but satisfies the same class of first order formulas. In this situation, we say that there is a transfer principle. Here we study variations of this principle, in constructive non standard analysis. We also study an application to the modelling of hybrid systems, and see that our weaker principle is not powerful enough. Then we generalize the transfer in a categorical setting

Topics: Contents
Year: 2012
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://www.pps.univ-paris-dide... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.