Alfred Tarski's work in model theory

DOI10.2307/2273900zbMATH Open0619.03007OpenAlexW2154773307WikidataQ55921789 ScholiaQ55921789MaRDI QIDQ3755424FDOQ3755424

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

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

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)

Cites Work

• Every two elementarily equivalent models have isomorphic ultrapowers
• The representation of relational algebras
• Title not available (Why is that?)
• On the metamathematics of algebra
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)