Supriya Ghosh (Editor)

List of things named after Alfred Tarski

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians. His name is now associated with a number of theorems and concepts in that field.

Contents

Theorems

  • Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem)
  • Tarski's undefinability theorem
  • Tarski–Seidenberg theorem
  • Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited.
  • Tarski's theorem
  • Banach–Tarski paradox
  • Lindenbaum–Tarski algebra
  • Jónsson–Tarski duality
  • Jónsson–Tarski algebra
  • Gödel–McKinsey–Tarski translation
  • The semantic theory of truth is sometimes referred to as Tarski's definition of truth or Tarski's truth definitions.
  • Tarski's axiomatization of the reals
  • Tarski's axioms for plane geometry
  • Tarski's circle-squaring problem
  • Tarski's exponential function problem
  • Tarski–Grothendieck set theory
  • Tarski's high school algebra problem
  • Tarski–Kuratowski algorithm
  • Tarski monster group
  • Tarski's plank problem
  • Tarski's problems for free groups
  • Tarski–Vaught test

    • Other

  • 13672 Tarski, a main-belt asteroid

    • References

    List of things named after Alfred Tarski Wikipedia
    (Text) CC BY-SA


    Similar Topics