Alfred Tarski's work in model theory

DOI10.2307/2273900MaRDI QIDQ3755424zbMATH OpenOpenAlexWikidataFDO

Authors 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

model theoryclassical logichistorical surveyTarski

Mathematics Subject Classification ID

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

Recommendations

• The contributions of Alfred Tarski to algebraic logic
• Alfred Tarski: Semantic shift, heuristic shift in metamathematics
• Unifying threads in Alfred Tarski's work
• Philosophical implications of Tarski's work
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory

Cites work

• scientific article; zbMATH DE number 3238610 (Why is no real title available?)
• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• Every two elementarily equivalent models have isomorphic ultrapowers
• On the metamathematics of algebra
• The representation of relational algebras

Cited in

(18)

• Alfred Tarski's work in set theory
• Formalization, primitive concepts, and purity
• Set theory and the analyst
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• scientific article; zbMATH DE number 1086486 (Why is no real title available?)
• Philosophical implications of Tarski's work
• The compactness of first-order logic:from gödel to lindström
• Andrzej Mostowski and the notion of a model
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• What is Tarski's Common Concept of Consequence?
• The contributions of Alfred Tarski to algebraic logic
• Alfred Tarski and decidable theories
• A.D. Taimanov and model theory in Kazakhstan
• American Postulate Theorists and Alfred Tarski
• scientific article; zbMATH DE number 1385333 (Why is no real title available?)
• 2000-2001 Winter Meeting of the Association for Symbolic Logic. The New York Hilton and Towers, New York, NY, December 28-29, 2000
• Tarski's influence on computer science
• Tarski on logical consequences

This page was built for publication: Alfred Tarski's work in model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755424)