Quantifiers in limits

Andrzej Mostowski and Foundational Studies

Volumn , Issue , 2008, Pages 151-170

  Keisler, H Jerome ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84874513041     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (12)

1. C.C. Chang and H. Jerome Keisler, Model Theory, Third Edition, Elsevier, 1990.
2. L. van den Dries, o-minimal structures, in: Logic: From Foundations to Applications, W. Hodges et al., eds, Oxford, 1996, pp. 137-185.
3. L. van den Dries, Tame Topology and o-minimal Structures, Cambridge University Press, 1998.
4. H. Friedman and C. Miller, Expansions of o-minimal structures by fast sequences, Journal of Symbolic Logic 70 (2005), 410-418.
5. A. Kechris, Classical Descriptive Set Theory, Springer-Verlag, 1995.
6. H. Jerome Keisler, Model Theory for Infinitary Logic, North-Holland, 1971.
7. H. Jerome Keisler, Elementary Calculus. An Infinitesimal Approach, Second Edition, Prindle, Weber and Schmidt, 1986. Online Edition, http://www.math.wisc.edu/~keisler/, 2000.
8. S.C. Kleene, Recursive predicates and quantifiers, Transactions of the American Mathematical Society 53 (1943), 41-73.
9. A. Mostowski, On definable sets of positive integers, Fundamenta Mathematicae 34 (1947), 81-112.
10. A. Mostowski, Examples of sets definable by means of two and three quantifiers, Fundamenta Mathematicae 42 (1955), 259-270.
11. A. Robinson, Non-standard Analysis, North-Holland, 1966.
12. K. Sullivan, The Teaching of Elementary Calculus: An Approach Using Infinitesimals, Ph.D. Thesis, University of Wisconsin, Madison, 1974.