- 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...
- may
refer to:
Tarsky District, a
district of Omsk Oblast,
Russia Alfred Tarski (1901–1983),
Polish logician and
mathematician Tarsky (rural locality),...
-
Tarski's undefinability theorem,
stated and
proved by
Alfred Tarski in 1933, is an
important limitative result in
mathematical logic, the foundations...
-
Tarski–Grothendieck set
theory (TG,
named after mathematicians Alfred Tarski and
Alexander Grothendieck) is an
axiomatic set theory. It is a non-conservative...
-
Tarski's World is a computer-based
introduction to first-order
logic written by Jon
Barwise and John Etchemendy. It is
named after the
mathematical logician...
- 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...
-
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 mathematics,
Tarski's theorem,
proved by
Alfred Tarski (1924),
states that in ZF the
theorem "For
every infinite set A {\displaystyle A} ,
there is...
- In
mathematical logic, the Lindenbaum–
Tarski algebra (or
Lindenbaum algebra) of a
logical theory T
consists of the
equivalence classes of
sentences of...
