Alfred Tarski's work in model theory

DOI10.2307/2273900zbMath0619.03007OpenAlexW2154773307WikidataQ55921789 ScholiaQ55921789MaRDI QIDQ3755424

R. Vaught

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273900

zbMATH Keywords

historical surveyTarskimodel theoryclassical logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Model theory (03Cxx)

Related Items

Tarski on logical consequences, Set theory and the analyst, FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY, 2000-2001 Winter Meeting of the Association for Symbolic Logic, Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence, What is Tarski's Common Concept of Consequence?

Cites Work

• Unnamed Item
• Unnamed Item
• Every two elementarily equivalent models have isomorphic ultrapowers
• The representation of relational algebras
• On the metamathematics of algebra