Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25Nigel J. Cutland, Mauro Di Nasso, David A. Ross A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, the methodology is now well established as a tool for both research and teaching, and has become a fruitful field of investigation in its own right. This book is a collection of peer-reviewed papers solicited from some of the participants of this conference with the aim of providing something more timely than a textbook, but less ephemeral than a conventional proceedings. It contains both survey papers and research articles with special consideration for one, "Nonstandard analysis at pre-university level: naive magnitude analysis" in which the author discusses his experience teaching calculus through an infinitesimal approach. |
Contents
Vieri Benci Mauro Di Nasso and Marco Forti | 3 |
Sergio Fajardo and H Jerome Keisler | 45 |
Karel Hrbacek | 80 |
Copyright | |
6 other sections not shown
Other editions - View all
Nonstandard Methods and Applications in Mathematics Nigel J. Cutland,Mauro Di Nasso,David A. Ross Limited preview - 2017 |
Common terms and phrases
algebraic approximation assume attractor axiomatic axioms bounded cardinal closed formula cohomology condition construction contains crowded triple Cutland defined definition density elementary elements equivalent étale étale cohomology example exists external sets external universe finite Forcing Theorem function f functor Hausdorff Hence holds hyper-extensions hyper-methods hyperfinite hyperreal induction infinite infinitesimal Internal set theory internal sets isomorphic Kanovei Keisler Lemma Loeb measures Loeb space model theory Nasso natural numbers Navier-Stokes equations Neoclosed Forcing neoclosed formula neocompact set neocontinuous neoseparable neotight nonempty nonstandard analysis Nonstandard Methods nonstandard set theory notion numbers numerosities presheaf probability space PROPOSITION proved real numbers result satisfies saturation Section sequence sort standard sets stochastic Navier-Stokes equations Stone-Čech compactification structure subset subspace superstructure Suppose Symbolic Logic Theorem 3.1 topological extension transfer principle ultrafilter ultrapowers ultraproduct Wiener process