An Introduction to General Nonstandard Analysis
- 409 Downloads
In this chapter, we develop the general framework of nonstandard analysis and the necessary logic for the transfer principle. The reader who has read the first chapter of this book will appreciate that Skolem functions will no longer be needed to replace the existential quantifier. The results obtained in the last chapter using our simple transfer principle will still be valid, since the transfer principle used here extends that simple one. The outline of this chapter is similar to that of Chapter 2 of the author’s book with Albert E. Hurd, .
KeywordsNonstandard Analysis Transfer Principle Elementary Chain Elementary Limit Elementary Embedding
Unable to display preview. Download preview PDF.
- 2.N. G. de Bruijn and P. Erdős, A color problem for infinite graphs and a problem in the theory of relations, Proc. Kon. Nederl. Akad. v. Wetensch. Ser. A 54(1951), 371–373.Google Scholar
- 7.W. A. J. Luxemburg, A general theory of monads, in: Applications of Model Theory to Algebra, Analysis, and Probability, W. A. J. Luxemburg (ed.), Holt, Rinehart, and Winston, New York, 1969.Google Scholar
- 10.A. Robinson and E. Zakon, A set-theoretical characterization of enlargements, in: Applications of Model Theory to Algebra, Analysis, and Probability, W. A. J. Luxemburg (ed.), Holt, Rinehart, and Winston, New York, 1969.Google Scholar