Lectures on the Hyperreals An Introduction to Nonstandard Analysis

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the c...

Full description

Bibliographic Details
Main Author: Goldblatt, Robert
Format: eBook
Language:English
Published: New York, NY Springer New York 1998, 1998
Edition:1st ed. 1998
Series:Graduate Texts in Mathematics
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03191nmm a2200277 u 4500
001 EB000618224
003 EBX01000000000000000471306
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9781461206156 
100 1 |a Goldblatt, Robert 
245 0 0 |a Lectures on the Hyperreals  |h Elektronische Ressource  |b An Introduction to Nonstandard Analysis  |c by Robert Goldblatt 
250 |a 1st ed. 1998 
260 |a New York, NY  |b Springer New York  |c 1998, 1998 
300 |a XIV, 293 p  |b online resource 
505 0 |a I Foundations -- 1 What Are the Hyperreals? -- 2 Large Sets -- 3 Ultrapower Construction of the Hyperreals -- 4 The Transfer Principle -- 5 Hyperreals Great and Small -- II Basic Analysis -- 6 Convergence of Sequences and Series -- 7 Continuous Functions -- 8 Differentiation -- 9 The Riemann Integral -- 10 Topology of the Reals -- III Internal and External Entities -- 11 Internal and External Sets -- 12 Internal Functions and Hyperfinite Sets -- IV Nonstandard Frameworks -- 13 Universes and Frameworks -- 14 The Existence of Nonstandard Entities -- 15 Permanence, Comprehensiveness, Saturation -- V Applications -- 16 Loeb Measure -- 17 Ramsey Theory -- 18 Completion by Enlargement -- 19 Hyperfinite Approximation -- 20 Books on Nonstandard Analysis 
653 |a Functions of real variables 
653 |a Real Functions 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Graduate Texts in Mathematics 
028 5 0 |a 10.1007/978-1-4612-0615-6 
856 4 0 |u https://doi.org/10.1007/978-1-4612-0615-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 515.8 
520 |a There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos's theorem