## Nonstandard Analysis, AxiomaticallyIn the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan dard textbooks in different mathematical disciplines, especially those closer to what is referred to as applied mathematics, there is little trace of those developments outside of mathematical logic and model theory. But it seems fair to say that there is a widespread conviction that the principles embodied in the Zermelo - Fraenkel theory with Choice (ZFC) are a correct description of the set theoretic underpinnings of mathematics. In most textbooks of the kind referred to above, there is, of course, no discussion of these matters, and set theory is assumed informally, although more advanced principles like Choice or sometimes Replacement are often mentioned explicitly. This implicitly fixes a point of view of the mathemat ical universe which is at odds with the results in foundations. For example most mathematicians still take it for granted that the real number system is uniquely determined up to isomorphism, which is a correct point of view as long as one does not accept to look at "unnatural" interpretations of the membership relation. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction | 1 |

Getting started | 11 |

1 | 34 |

Elementary real analysis in the nonstandard universe | 53 |

Theories of internal sets | 83 |

Metamathematics of internal theories | 131 |

12 | 137 |

14 | 143 |

Partially saturated universes and the Power Set problem | 219 |

Other nonstandard theories | 289 |

28 | 294 |

Hyperfinite descriptive set theory | 317 |

29 | 348 |

389 | |

390 | |

397 | |

### Other editions - View all

### Common terms and phrases

A-code argument axioms belongs bijection Borel sets cardinal codes cofinal consider contains Corollary countably determined sets defined definition descriptive set theory domain e-formula EEST elementary embedding elements equiconsistent equivalence relation Exercise exists extension of ZFC external sets finite set formula hence hyperfinite implies induction infinite internal sets Inner Standardization Inner Transfer internal core internal subsets internal subuniverse interpretation of BST isomorphic k-size Lemma natural numbers Nms(P nonstandard analysis notion ordinal parameters Polish spaces Power Set proof of Theorem proper class prove quotient power resp result satisfying Saturation sequence set of standard set universe st-e-definable st-e-formula standard core extension standard core interpretation standard set structure Suppose Theorem transitive transitive set ultrafilter ultrapower well-founded sets ZFGT

### References to this book

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference ... S. S. Goncharov,Rod G. Downey,H. Ono No preview available - 2006 |