Skip to main content
SpringerLink
Log in

Logic and Set Theory

  • Chapter
  • First Online:
Landscape of 21st Century Mathematics

  • 2403 Accesses

Abstract

This chapter presents a collection of theorems in logic and set theory, proved in the twenty-first century, which are at the same time great and easy to understand. The chapter is written for undergraduate and graduate students interested in logic and set theory, as well as for mathematicians working in other areas of mathematics, who would like to learn about recent achievements in logic and set theory without going into technical details.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 139.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

Notes

  1. 1.

    We also need to take care about the additional condition z i ≠ 0, but this is not a difficult issue.

  2. 2.

    Here and further we assume without mention that ZFC is consistent, that is, cannot prove false statements.

References

  1. Banach, S., Tarski, A.: Sur la décomposition des ensembles de points en parties respectivement congruentes. Fund. Math. 6(1), 244–277 (1924)

    MATH  Google Scholar 

  2. Brattka, V., Miller, J., Nies, A.: Randomness and differentiability. Trans. Am. Math. Soc. 368(1), 581–605 (2016)

    Article  MathSciNet  Google Scholar 

  3. Cohen, P.J.: The independence of the continuum hypothesis. Proc. Natl. Acad. Sci. USA pp. 1143–1148 (1963)

    Google Scholar 

  4. Cohen, P.J.: The independence of the continuum hypothesis, II. Proc. Natl. Acad. Sci. USA 51(1), 105 (1964)

    Article  MathSciNet  Google Scholar 

  5. Dubins, L., Hirsch, M.W., Karush, J.: Scissor congruence. Isr. J. Math. 1(4), 239–247 (1963)

    Article  MathSciNet  Google Scholar 

  6. Fraenkel, A.: Uber die Zermelosche Begründung der Mengenlehre. Jahresbericht der Deutschen Mathematiker-Vereinigung 30(2), 45–46 (1921)

    MATH  Google Scholar 

  7. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38(1), 173–198 (1931)

    Article  MathSciNet  Google Scholar 

  8. Grabowski, Ł., Máthé, A., Pikhurko, O.: Measurable circle squaring. Ann. Math. 185(2), 671–710 (2017)

    Article  MathSciNet  Google Scholar 

  9. Hausdorff, F.: Summen von ℵ 1 Mengen. Fund. Math. 26, 241–255 (1936)

    Article  Google Scholar 

  10. Hilbert, D.: Mathematical problems. Bull. Am. Math. Soc. 8(10), 437–479 (1902)

    MathSciNet  MATH  Google Scholar 

  11. Koenigsmann, J.: Defining \(\mathbb {Z}\) in \(\mathbb {Q}\). Ann. Math. 183, 73–93 (2016)

    Google Scholar 

  12. Laczkovich, M.: Equidecomposability and discrepancy; a solution of Tarski’s circle-squaring problem. J. Reine Angew. Math. 1990(404), 77–117 (1990)

    Article  MathSciNet  Google Scholar 

  13. Malliaris, M., Shelah, S.: Cofinality spectrum theorems in model theory, set theory, and general topology. J. Am. Math. Soc. 29(1), 237–297 (2016)

    Article  MathSciNet  Google Scholar 

  14. Marks, A.S., Unger, S.T.: Borel circle squaring. Ann. Math. 186(2), 581–605 (2017)

    Article  MathSciNet  Google Scholar 

  15. Matiyasevich, Y.V.: The Diophantineness of enumerable sets. Doklady Akademii Nauk 191(2), 279–282 (1970)

    MathSciNet  Google Scholar 

  16. Poonen, B.: Characterizing integers among rational numbers with a universal-existential formula. Am. J. Math. 131(3), 675–682 (2009)

    Article  MathSciNet  Google Scholar 

  17. Prunescu, M.: The exponential diophantine problem for \(\mathbb {Q}\). J. Symb. Log. 85(2), 671–672 (2020)

    Google Scholar 

  18. Robinson, J.: Definability and decision problems in arithmetic. J. Symb. Log. 14(2), 98–114 (1949)

    Article  MathSciNet  Google Scholar 

  19. Rothberger, F.: On some problems of Hausdorff and of Sierpiński. Fund. Math. 1(35), 29–46 (1948)

    Article  MathSciNet  Google Scholar 

  20. Schnorr, C.P.: Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie, Lecture Notes in Mathematics, vol. 218. Springer, Heidelberg (1971)

    Google Scholar 

  21. Wagon, S.: The Banach–Tarski paradox, volume 24 of. Encyclopedia of Mathematics and its Applications (1985)

    Google Scholar 

  22. Zermelo, E.: Untersuchungen über die Grundlagen der Mengenlehre. I. Math. Ann. 65(2), 261–281 (1908)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Leicester, Leicester, UK

    Bogdan Grechuk

Authors
  1. Bogdan Grechuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Grechuk, B. (2021). Logic and Set Theory. In: Landscape of 21st Century Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-030-80627-9_8

Download citation

Publish with us

Policies and ethics

Search

Navigation