Skip to main content
SpringerLink
Log in

Hypernatural Numbers as Ultrafilters

  • Chapter
  • First Online:
Nonstandard Analysis for the Working Mathematician

Abstract

We provide a self-contained introduction to a nonstandard theory of ultrafilters.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. L.O. Arkeryd, N.J. Cutland, C.W. Henson (eds.), Nonstandard Analysis—Theory and Applications. NATO ASI Series C, vol. 493 (Kluwer A.P., Dordrecht, 1997)

    Google Scholar 

  2. D. Ballard, K. Hrbác̆ek, Standard foundations for nonstandard analysis. J. Symb. Log. 57, 471–478 (1992)

    Article  Google Scholar 

  3. T. Bartoszynski, S. Shelah, On the density of Hausdorff ultrafilters, in Logic Colloquium 2004. Lecture Notes in Logic, vol. 29, ed. by A. Andretta, K. Kearnes, D. Zambella (A.S.L., Cambridge University Press, Cambridge, 2008)

    Google Scholar 

  4. M. Beiglböck, An ultrafilter approach to Jin’s theorem. Isr. J. Math. 185, 369–374 (2011)

    Article  MATH  Google Scholar 

  5. V. Bergelson, Ergodic Ramsey Theory – an update, in Ergodic Theory of \(\mathbb{Z}^d\) -Actions (Warwick 1993–94), London Mathematical Society Lecture Note Series, vol. 228 (Cambridge University Press, Cambridge, 1996), pp. 1–61

    Google Scholar 

  6. V. Bergelson, A. Blass, M. Di Nasso, R. Jin (eds.), Ultrafilters across Mathematics, Contemporary Mathematics, vol. 530 (American Mathematical Society, 2010)

    Google Scholar 

  7. A. Blass, A model-theoretic view of some special ultrafilters, in Logic Colloquium ’77, ed. by A. Macintyre, L. Paciolski, J. Paris (North-Holland, 1978), pp. 79–90

    Google Scholar 

  8. A. Blass, Combinatorial characteristics of the continuum, in Handbook of Set Theory, ed. by M. Foreman, A. Kanamori (Springer, Berlin, 2010), pp. 395–489

    Chapter  Google Scholar 

  9. A. Blass, M. Di Nasso, Finite embeddability of sets and ultrafilters, arXiv:1405.2841, submitted

  10. A. Blass, G. Moche, Finite preimages under the natural map from \(\beta (\mathbb{N} {\times \mathbb{N}})\). Topol. Proc. 26, 407–432 (2001–2002)

    Google Scholar 

  11. H. Cartan, Théorie des filtres. C. R. Acad. Sci. Paris 205, 595–598 (1937)

    Google Scholar 

  12. C.C. Chang, H.J. Keisler, Model Theory, 3rd edn. (North-Holland, Amsterdam, 1990)

    MATH  Google Scholar 

  13. G. Cherlin, J. Hirschfeld, Ultrafilters and ultraproducts in non-standard analysis, in Contributions to Non-Standard Analysis, ed. by W.A.J. Luxemburg, A. Robinson (North Holland, Amsterdam, 1972), pp. 261–279

    Chapter  Google Scholar 

  14. G. Choquet, Deux classes remarquables d’ultrafiltres sur \( \mathbb{N}\). Bull. Sci. Math. 92, 143–153 (1968)

    MATH  MathSciNet  Google Scholar 

  15. W.W. Comfort, S. Negropontis, The Theory of Ultrafilters (Springer, Berlin, 1974)

    Book  MATH  Google Scholar 

  16. A. Connes, Ultrapuissances et applications dans le cadre de l’analisi non standard. Séminaire Choquet, Initiation à l’analyse, Tome 9(1) (1969–1970)

    Google Scholar 

  17. N.J. Cutland, M. Di Nasso, D.A. Ross (eds.), Nonstandard Methods and Applications in Mathematics. Lecture Notes in Logic, vol. 25, (A.S.L., A.K. Peters, 2006)

    Google Scholar 

  18. M. Di Nasso, Embeddability properties of difference sets. Integers 14, A27 (2014)

    Google Scholar 

  19. M. Di Nasso, Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s theorem. Proc. Am. Math. Soc. 143, 1749–1761 (2015)

    Google Scholar 

  20. M. Di Nasso, M. Forti, Ultrafilter semirings and nonstandard submodels of the Stone-Čech compactification of the natural numbers, in Logic and Its Applications. AMS Contemporary Mathematics, vol. 380, ed. by A. Blass, Y. Zhang (2005), pp. 45-51

    Google Scholar 

  21. M. Di Nasso, M. Forti, Hausdorff ultrafilters. Proc. Am. Math. Soc. 134, 1809–1818 (2006)

    Article  MATH  Google Scholar 

  22. R. Ellis, Lectures on Topological Dynamics (Benjamin, New York, 1969)

    MATH  Google Scholar 

  23. D. Galvin, Ultrafilters, with applications to analysis, social choice and combinatorics, unpublished notes (2009)

    Google Scholar 

  24. R. Graham, B. Rothschild, J. Spencer, Ramsey Theory, 2nd edn. (Wiley, New York, 1990)

    MATH  Google Scholar 

  25. L. Haddad, Un outil incomparable: l’ultrafiltre. Tatra Mt. Math. Publ. 31(2), 131–176 (2005)

    MATH  MathSciNet  Google Scholar 

  26. N. Hindman, The existence of certain ultrafilters on \( \mathbb{N}\) and a conjecture of Graham and Rothschild. Proc. Am. Math. Soc. 36, 341–346 (1972)

    MathSciNet  Google Scholar 

  27. N. Hindman, Finite sums from sequences within cells of a partition of \(\mathbb{N}\). J. Comb. Theory (Series A) 17, 1–11 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  28. N. Hindman, Algebra in the Stone-Čech compactification and its applications to Ramsey Theory. Sci. Math. Jpn. 62, 321–329 (2005)

    MATH  MathSciNet  Google Scholar 

  29. N. Hindman, D. Strauss, Algebra in the Stone-Čech Compactification, Theory and Applications, 2nd edn. (W. de Gruyter, Berlin, 2011)

    Book  Google Scholar 

  30. J. Hirshfeld, Nonstandard combinatorics. Studia Logica 47, 221–232 (1988)

    Article  MathSciNet  Google Scholar 

  31. K. Hrbác̆ek, Realism, nonstandard set theory, and large cardinals. Ann. Pure Appl. Log. 109, 15–48 (2001)

    Article  Google Scholar 

  32. R. Jin, Ultrapower of \({\mathbb{N}}\) and density problems, in [6], pp. 147–161

    Google Scholar 

  33. V. Kanovei, M. Reeken, Nonstandard Analysis, Axiomatically (Springer, Berlin, 2004)

    Book  MATH  Google Scholar 

  34. H.J. Keisler, Limit ultrapowers. Trans. Am. Math. Soc. 107, 382–408 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  35. P. Komjáth, V. Totik, Ultrafilters. Am. Math. Mon. 115, 33–44 (2009)

    Google Scholar 

  36. K. Kunen, Some points in \(\beta \mathbb{N}\). Math. Proc. Camb. Philol. Soc. 80, 385–398 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  37. P.A. Loeb, M. Wolff (eds.), Nonstandard Analysis for the Working Mathematician (Kluwer A.P., Dordrecht, 2000)

    Google Scholar 

  38. L. Luperi Baglini, Partition regularity of nonlinear polynomials: a nonstandard approach. Integers 14, A30 (2014)

    MathSciNet  Google Scholar 

  39. L. Luperi Baglini, Ultrafilters maximal for finite embeddability. J. Log. Anal. 6, 6 (2014)

    Google Scholar 

  40. L. Luperi Baglini, F-finite embeddabilities of sets and ultrafilters, arXiv:1401.6518, submitted

  41. W.A.J. Luxemburg, Nonstandard Analysis. Lecture Notes, Department of Mathematics, California Institute of Technology (1962)

    Google Scholar 

  42. W.A.J. Luxemburg, A general theory of monads, in Applications of Model Theory to Algebra, Analysis and Probability, ed. by W.A.J. Luxemburg (Rinehart & Winston, Holt, 1969), pp. 18–86

    Google Scholar 

  43. J. van Mill, An introduction to \(\beta \omega \), in Handbook of Set-theoretic Topology, ed. by K. Kunen, J.E. Vaughan (North-Holland, Amsterdam, 1984)

    Google Scholar 

  44. 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. Synthèse Library, vol. 306, ed. by P. Schuster, U. Berger, H. Osswald (Kluwer A.P., Dordrecht, 2001), pp. 157–166

    Google Scholar 

  45. C. Puritz, Ultrafilters and standard functions in nonstandard analysis. Proc. Lond. Math. Soc. 22, 706–733 (1971)

    MathSciNet  Google Scholar 

  46. C. Puritz, Skies, constellations and monads, in Contributions to Non-Standard Analysis, ed. by W.A.J. Luxemburg, A. Robinson (North Holland, Amsterdam, 1972), pp. 215–243

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università di Pisa, Pisa, Italy

    Mauro Di Nasso

Authors
  1. Mauro Di Nasso
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauro Di Nasso .

Editor information

Editors and Affiliations

  1. Department of Mathematics, University of Illinois, Urbana, Illinois, USA

    Peter A. Loeb

  2. Mathematical Institute, University of Tübingen, Tübingen, Germany

    Manfred P. H. Wolff

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Di Nasso, M. (2015). Hypernatural Numbers as Ultrafilters. In: Loeb, P., Wolff, M. (eds) Nonstandard Analysis for the Working Mathematician. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-7327-0_11

Download citation

Publish with us

Policies and ethics

Search

Navigation