- 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...
-
Alfred Tarski (/
ˈtɑːrski/; Polish: [ˈtarskʲi]; born
Alfred Teitelbaum;
January 14, 1901 –
October 26, 1983) was a Polish-American
logician and mathematician...
-
Tarski's undefinability theorem,
stated and
proved by
Alfred Tarski in 1933, is an
important limitative result in
mathematical logic, the foundations...
- may
refer to:
Tarsky District, a
district of Omsk Oblast,
Russia Alfred Tarski (1901–1983),
Polish logician and
mathematician Tarsky (rural locality),...
- In
mathematical logic, the Lindenbaum–
Tarski algebra (or
Lindenbaum algebra) of a
logical theory T
consists of the
equivalence classes of
sentences of...
- 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...
-
Tarski's theorem may
refer to the
following theorems of
Alfred Tarski:
Tarski's theorem about choice Tarski's undefinability theorem Tarski's theorem...
-
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...
- In com****bility
theory and
mathematical logic the
Tarski–Kuratowski
algorithm is a non-deterministic
algorithm that
produces an
upper bound for the complexity...
-
Tarski's axioms are an
axiom system for
Euclidean geometry,
specifically for that
portion of
Euclidean geometry that is
formulable in first-order logic...
