Linked from

The 21 pages that link to Alfred Tarski, each with the reason it gives.

• Model theoryRelated: His definition of truth for formal languages established a rigorous semantics for structures.

• Karl PopperRelated: Popper drew on Tarski’s theory of objective truth in his account of scientific knowledge.

• SemanticsRelated: His formal treatment of truth helped shape truth-conditional approaches to sentence meaning.

• Gödel numberingRelated: Arithmetized syntax also underlies results about the limits of defining truth in arithmetic.

• Mathematical logicRelated: His account of truth in formal languages clarified the relation between syntax and interpretation.

• Rudolf CarnapRelated: Tarski’s semantic methods shaped the formal resources Carnap used in his later philosophy.

• Formal logicRelated: His semantic account of truth clarified how formal languages are interpreted.

• Presburger arithmeticRelated: His work on decidable theories helps place Presburger arithmetic within mathematical logic.

• Heyting algebraRelated: His broader algebraic approach to logic helped establish the setting in which such semantics are studied.

• Logical validityRelated: His model-theoretic account made semantic consequence precise across interpretations.

• Quantifier eliminationRelated: Tarski developed elimination methods for real closed fields and proved their decidability.

• Richard RadoRelated: Rado’s early mathematical environment in Germany included study with Tarski.

• Tarski's undefinability theoremRelated: He proved the undefinability result and developed a semantic account of truth.

• Julia RobinsonRelated: Robinson’s research on definability and arithmetic developed within a field Tarski helped shape.

• Tarski's axiomsRelated: He developed the point-based axiom system bearing his name.

• Lwów–Warsaw schoolRelated: His semantic theories carried the school’s methods into international logic.

• Principle of bivalenceRelated: His semantic framework helped make truth assignments precise in formal languages.

• Willard Van Orman QuineRelated: Tarski’s semantic methods informed Quine’s engagement with truth and reference.

• Knaster–Tarski theoremRelated: Tarski proved the central fixed-point result for complete lattices.

• Lindenbaum's lemmaRelated: Tarski’s Polish logic milieu helped develop the ideas surrounding formal theories and their extensions.

• Lindström's theoremRelated: His work helped shape the semantic framework in which Lindström's characterization is stated.