Hausdorff nonstandard extensions

Boletim da Sociedade Paranaense de Matematica

Volumn 20, Issue 1-2, 2002, Pages 9-20

  Forti, Marco ^a   Di Nasso, Mauro ^a   Benci, Vieri ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 15244362970     PISSN: 00378712     EISSN: 21751188     Source Type: Journal    
DOI: 10.5269/bspm.v20i1-2.7519     Document Type: Article

References (15)

1. V. Benci, M. Di Nasso - Numerosities of labelled sets: a new way of counting, Adv. Math., 173 (2003),50-67.
2. V. Benci, M. Di Nasso - Alpha-Theory: an elementary axiomatics for nonstandard analysis, Expo. Math(to apear).
3. V. Benci, M. Di Nasso - A purely algebraic characterization of the hyperreal numbers, Proc. Amer. Math. Soc. (to apear).
4. J.E. Baumgartner, A.D. Taylor - Partitions theorems and ultrafilters, Trans. Amer. Math. Soc., 241 (1978), 283-309.
5. A. Blass - A model-theoretic view of some special ultrafilters, in Logic Colloquium '77 (A. MacIntyre, L. Pacholski, J. Paris, eds.), North Holland, Amsterdam 1978, 79-90. J. Symb. Logic, 46 (1981), 147-157.
6. D. Booth - Ultrafilters on a countable set, Ann. Math. Logic, 2 (1970/71), 1-24.
7. C.C. Chang, H.J. Keisler - Model Theory (3rd edition), North-Holland, Amsterdam 1990.
8. M. Daguenet-Teissier - Ultrafiltres à la fa̧con de Ramsey, Trans. Amer. Math. Soc., 250 (1979), 91-120.
9. M. Di Nasso, M. Forti - Topological and nonstandard extensions,Submited.
10. R. Engelking - General Topology, Polish Sci. Pub., Warszawa 1977.
11. K. Hrbàcek - Axiomatic foundations for Nonstandard Analysis, Fund. Math. 98 (1978), 1-19, abstract in J.Syurb.Logic 41(1976),285.
12. H.J. Keisler - Foundations of Infinitesimal Calculus, Prindle, Weber and Schmidt, Boston 1976.
13. E. Nelson - Internal Set Theory; a new approach to nonstandard analysis, Bull. Amer. Math. Soc. 83 (1977), 1165-1198.
14. S. Ng, H. Render - The Puritz order and its relationship to the Rudin-Keisler order, in Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum (P. Schuster, U. Berger and H. Osswald, eds.), Synthèse Library 306, Kluwer A. P., 2001, 157-166.
15. S. Shelah - Proper Forcing, Springer L. N. in Math. 940, Berlin 1982.