Skip to main content
Article thumbnail
Location of Repository

Transfer Principles for Non Standard Analysis

By Paul-elliot Anglès D’auriac

Abstract

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:10.1.1.353.1933
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (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.