Advertisement

Early Fixed-Point CBT Proofs: Whittaker; Tarski-Knaster

  • Arie HinkisEmail author
Chapter
Part of the Science Networks. Historical Studies book series (SNHS, volume 45)

Abstract

On December 9, 1927, at a session of the Polish Mathematical Society, Tarski presented several results that he obtained in the wake of Banach’s Partitioning Theorem (see  Chap. 29). Apparently, what guided Tarski was his study of images of sets under relations and their relation to mappings of sets of sets, which continued section *37 of Principia Mathematica (see  Sect. 39.6). In that same session, Knaster presented a fixed-point theorem for power-sets, which he had obtained with Tarski. The notes of Tarski and Knaster were published in 1928 (see Tarski 1928; Knaster 1928; cf. Tarski 1955 p 286 footnote 2). From the fixed-point theorem, Banach’s Partitioning Theorem can be derived. The fixed-point theorem was published without proof. The Tarski-Knaster notes grew within the Polish school into a research program. Cf. Szpilrajn-Marczewski 1939 and the bibliography there and  Chap. 35.

Keywords

Rational Number Combine Relation Equivalent Characterization Complete Induction Partitioning Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Banach S, Tarski A. Sur la décomposition des ensembles de points en parties respectivement congruentes. Fund Math. 1924;6:244–77.Google Scholar
  2. Drake F. Set theory. Amsterdam: North Holland; 1974.zbMATHGoogle Scholar
  3. Fraenkel AA. Abstract set theory. 1st ed. Amsterdam: North Holland; 1953.zbMATHGoogle Scholar
  4. Knaster B. Un theorem sur les functions densembles. Annales de la Societe Polonaise des Mathematiques. 1928;6:133–4.zbMATHGoogle Scholar
  5. Mańka R, Wojciechowska A. On two Cantorian theorems. Annals of the Polish Mathematical Society, Series II: Mathematical News. 1984;25:191–8.zbMATHGoogle Scholar
  6. Sierpiński W. Algèbre des ensembles. Warszawa; 1951.Google Scholar
  7. Szpilrajn-Marczewski E. On the isomorphism and the equivalence of classes and sequences of sets. Fund Math. 1939;32:133–48.Google Scholar
  8. Tarski A. Über Äquivalenz der Mengen in Bezug auf eine beliebige Klasse von Abbildungen. International Congress of Mathematicians. 1928;2:243–52.Google Scholar
  9. Tarski A. A lattice theoretical fixpoint theorem and its applications. Pac J Math. 1955;5(2):285–309.MathSciNetzbMATHCrossRefGoogle Scholar
  10. Zermelo E. Untersuchungen über die Grundlagen der Mengenlehre. I. Mathematische Annalen 1908b;65:261–81. English translation: van Heijenoort 1967. pp. 199–215.Google Scholar

Copyright information

© Springer Basel 2013

Authors and Affiliations

  1. 1.The Cohn Institute for the History and Philosophy of Science and IdeasTel Aviv UniversityTel AvivIsrael

Personalised recommendations