Tarski

Some articles on tarski:

List Of Things Named After Alfred Tarski - Other Mathematics-related Things
... Banach–Tarski paradox Lindenbaum–Tarski algebra Jónsson–Tarski duality Gödel–McKinsey–Tarski translation The semantic theory of truth is sometimes referred to as Tarski's definition of truth or Tarski's ... 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 ...
Philosophy Of Logic - Truth - Tarski's Definition of Truth
... See- Semantic theory of truth#Tarski's Theory T-schema Stanford Encyclopedia of Philosophy entry on Tarski's Truth Definitions Self-reference2.1 ...
List Of Things Named After Alfred Tarski - Theorems
... Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem) Tarski's undefinability theorem Tarski–Seidenberg theorem Some fixed point ... Tarski's theorem ...
Tarski's Plank Problem
... In mathematics, Tarski's plank problem is a question about coverings of convex regions in n-dimensional Euclidean space by "planks" regions between two hyperplanes ... Tarski asked if the sum of the widths of the planks must be at least the minimum width of the convex region ...
Decidability (logic) - Some Decidable Theories
... theory of Boolean algebras, established by Alfred Tarski in 1949 ... of a given characteristic, established by Tarski in 1949 ... The first-order theory of real-closed ordered fields, established by Tarski in 1949 ...