Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author...

The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in three-dimensional space, there exists...

the area of modern algebra known as group theory, a Tarski monster group, named for Alfred Tarski, is an infinite group G, such that every proper subgroup...

{\displaystyle x=1-x} from which it follows that x = 0.5 {\displaystyle x=0.5} Alfred Tarski diagnosed the paradox as arising only in languages that are "semantically...

areas of order and lattice theory, the Knaster–Tarski theorem, named after Bronisław Knaster and Alfred Tarski, states the following: Let (L, ≤) be a complete...

Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1933, is an important limitative result in mathematical logic, the foundations...

system contains infinitely many axioms. The axiom system is due to Alfred Tarski who first presented it in 1926. Other modern axiomizations of Euclidean...

congruence relation. The algebra is named for logicians Adolf Lindenbaum and Alfred Tarski. Starting in the academic year 1926-1927, Lindenbaum pioneered his method...

and deflationary conceptions, is due to work by Polish logician Alfred Tarski. Tarski, in "On the Concept of Truth in Formal Languages" (1935), attempted...

Tarski's circle-squaring problem is the challenge, posed by Alfred Tarski in 1925, to take a disc in the plane, cut it into finitely many pieces, and...