Anyone know much about this subject?(adsbygoogle = window.adsbygoogle || []).push({});

I'm satisfied with my understanding of the basics of the transfer principle. My algebra text has a chapter on real closed fields, including a section on Tarski's theorem, and I see how it relates to the transfer principle. A paper I read recently, plus a revelation I had, cleared up what was the thing bugging me the most about the decidability of real arithmetic.

However, I am now more troubled by other things. One of the key things about why real arithmetic is complete is because real arithmetic doesn't know what "integer" means.

Yet, the hyperintegers are used in NSA!

Also, the completeness of real arithmetic works against analysis; the algebraic numbers are also a model of the theory of real arithmetic, and transcendental functions cannot exist among the algebraic numbers... thus they also must not be a part of real arithmetic.

So, clearly, this simle theory is not sufficient to do nonstandard analysis. I have found a little bit of information on superstructures... not nearly enough for me to feel I reallyunderstandit.

Does anyone know of any good online resources for NSA? If not, maybe a good book or two?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Nonstandard Analysis

Loading...

Similar Threads - Nonstandard Analysis | Date |
---|---|

Can the existence of nonstandard hyperreal extensions be proved? | Feb 23, 2012 |

Sequences in nonstandard analysis(basic question) | Aug 18, 2009 |

Nonstandard integral | Feb 17, 2008 |

Nonstandard Analysis models using non-well-founded sets | Feb 13, 2008 |

Nonstandard Analysis | Apr 11, 2004 |

**Physics Forums - The Fusion of Science and Community**