Quantifier elimination for neocompact sets

Journal of Symbolic Logic

Volumn 63, Issue 4, 1998, Pages 1442-1472

  Keisler, H Jerome ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Elimination; Neocompact; Quantifier

Indexed keywords

EID: 0032279042     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586661     Document Type: Article

References (16)

1. S. BARATELLA and S.-A. NG, Quantifier elimination in Banach spaces, to appear.
2. P. BILLINGSLEY, Convergence of probability measures, Wiley, 1968.
3. N. CUTLAND and H. J. KEISLER, Neocompact sets and stochastic Navier-Stokes equations, Stochastic partial differential equations (A. Etheridge, editor), London Mathematical Society Lecture Notes Series, no. 216, Cambridge, 1995, pp. 31-54.
4. S. FAJARDO and H. J. KEISLER, Existence theorems in probability theory, Advances in Mathematics, vol. 120 (1996), pp. 191-257.
5. _, Neometric spaces, Advances in Mathematics, vol. 118 (1996), pp. 134-175.
6. C. W. HENSON, Nonstandard hulls of Banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108-144.
7. C. W. HENSON and J. IOVINO, Banach space model theory, to appear.
8. D. N. HOOVER and H. J. KEISLER, Adapted probability distributions, Transactions of the American Mathematical Society, vol. 286 (1984), pp. 159-201.
9. H. J. KEISLER, Rich and saturated adapted spaces, to appear.
10. _, Probability quantifiers, Model-theoretic logics (K. J. Barwise and S. Feferman, editors), Springer-Verlag, 1985, pp. 506-556.
11. _, From discrete to continuous time, Annals of Pure and Applied Logic, vol. 52 (1991), pp. 99-141.
12. _, A neometric survey, Developments in nonstandard analysis (N. Cutland et al., editors), Longman, 1995, pp. 233-250.
13. J. KELLEY, General topology, D. Van Nostrand, 1955.
14. A. MACINTYRE and A. WILKIE, On the decidability of the real exponential field, to appear.
15. A. TARSKI, A decision method for elementary algebra and geometry, second ed., University of California Press, 1951.
16. L. VAN DEN DRIES, A. MACINTYRE, and D. MARKER, The elementary theory of restricted analytic fields with exponentiation, Annals of Mathematics, vol. 140 (1994), pp. 183-205.