zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Lectures on the hyperreals. An introduction to nonstandard analysis. (English) Zbl 0911.03032
Graduate Texts in Mathematics. 188. New York, NY: Springer. xiv, 289 p. DM 98.00; öS 716.00; sFr. 89.50; £ 37.50; $ 49.95 (1998).
This is a textbook on nonstandard analysis for advanced undergraduate and beginning graduate students. The author develops all the necessary tools from logic and model theory to make his book fully selfcontained. Historical references and philosophical digressions are dispersed throughout the text. As usual, the ultrapower construction is used to provide the student right from the beginning with a non-archimedean extension $^{*}\Bbb{R}$ of the reals $\Bbb{R}$. A restricted version of Łoś theorem then allows for a nonstandard treatment of the basic calculus. The author is here quite complete and discusses all topics that are usually covered in freshmen calculus. Of course, nonstandard proofs are not always “simpler” or more intuitive than the conventional ones. For example, the nonstandard proof of Bolzano-Weierstrass, i.e., that a monotone increasing and bounded sequence converges towards its least upper bound, is actually quite cumbersome. But it illustrates the nonstandard definition of convergency. On the other hand, many of the nonstandard proofs that involve uniform continuity or compactness are transparent and simple. The core of the book are two chapters on “Internal and External Entities” and “Nonstandard Frameworks”. The material treated in these chapters is quite technical and shows that there is a price to pay for entering the world of nonstandard mathematics. For some mathematicians the price might be too high, however. But the author explains the logic apparatus and set-theoretic formalism in full detail in order to justify the existence of enlargements, as well as of higher-order structures with nice saturation properties. The pace is gentle and the author provides a lot of guidance and motivation for the reader. In a final chapter on “Applications”, the author gives a fairly complete exposition of the Loeb measure and derives from it Lebesgue measure. This is a substantial application of nonstandard methods and illustrates the usefulness of nonstandard concepts, like saturation, comprehension and overflow. Other applications are more algebraic and include Ramsey theory, some Boolean algebras, vector spaces, and the Hahn-Banach Theorem. The list of references contains about forty items. They are all texbooks or conference proceedings. However, historical references are given at the end of some chapters in form of endnotes. The reviewer likes the book. It provides the interested reader with a firm foundation of the set-theoretic methods for the construction of nonstandard models. With the appropriate background of the classical theory, a reader will be well prepared to study and investigate on his own deeper and more advanced topics of conventional mathematics.

MSC:
03H05Nonstandard models in mathematics
26E35Nonstandard real analysis
03-01Textbooks (mathematical logic)
28E05Nonstandard measure theory