Alfred Tarski's work in model theory

  title={Alfred Tarski's work in model theory},
  author={Robert L. Vaught},
  journal={Journal of Symbolic Logic},
  pages={869 - 882}
  • R. Vaught
  • Published 1 December 1986
  • Philosophy
  • Journal of Symbolic Logic
We will consider Tarski's work in pure model theory and classical logic. His work in applied model theory—the model theory of various special theories—is discussed by Doner and van den Dries [1987], and McNulty [1986]. (However, the separation of “pure” and “applied” only becomes natural as the subjects mature; so we shall discuss applied model theory at least to some extent in Tarski's earlier work.) Alfred Tarski (1901–1983) was awarded a Ph.D. in mathematics at Warsaw University in 1924. His… 

Alfred Tarski and undecidable theories

Alfred Tarski identified decidability within various logical formalisms as one of the principal themes for investigation in mathematical logic. This is evident already in the focus of the seminar he

Model Theory ( Draft 20 Jul 00 )

In 1954 Alfred Tarski [210] announced that ‘a new branch of metamathematics’ had appeared under the name of the theory of models. The subject grew fast: the Omega Group bibliography of model theory

Philosophical implications of Tarski's work

  • P. Suppes
  • Philosophy
    Journal of Symbolic Logic
  • 1988
As is evident to anyone who has read any significant part of Tarski's published writings, he was extraordinarily cautious and careful in giving any direct philosophical interpretation of his work and in conversation willing to express a much wider range of philosophical opinlons.

Alfred Tarski and decidable theories

Tarski's method was elimination of quantifiers, and he systematically used this method to prove a range of related theorems about completeness and definability, and led several of his students to do important work using this same method.

American Postulate Theorists and Alfred Tarski

This article outlines the work of a group of US mathematicians called the American Postulate Theorists and their influence on Tarski's work in the 1930s that was to be foundational for model theory.

Tarski's Logic

  • K. Simmons
  • Philosophy
    Logic from Russell to Church
  • 2009

Tarski's Conceptual Analysis of Semantical Notions

Tarski is famous for his widely accepted conceptual analysis (or, in his terms, “explication”) of the notion of truth for formal languages and the allied notions of satisfaction, definability, and

Alfred Tarski's work on general metamathematics

This essay discusses Tarski's work on what he called the methodology of the deductive sciences, or more briefly, borrowing the terminology of Hilbert, metamathematics, and characteristic feature is his broad view of what constitutes the domain of metam athematical investigations.

Alfred Tarski's elimination theory for real closed fields

Tarski made a fundamental contribution to our understanding of R, perhaps mathematics’ most basic structure. His theorem is the following. To any formula ϕ(X1, …, Xm) in the vocabulary {0, 1, +, ·,

Developments in Logic : Carnap , Gödel , and Tarski

Analytic philosophy and modern logic are intimately connected, both historically and systematically. Thinkers such as Frege, Russell, and Wittgenstein were major contributors to the early development



The contributions of Alfred Tarski to algebraic logic

  • J. Monk
  • Mathematics
    Journal of Symbolic Logic
  • 1986
One of the most extensive parts of Tarski's contributions to logic is his work on the algebraization of the subject. His work here involves Boolean algebras, relation algebras, cylindric algebras,

Gödel Theorems for Non-Constructive Logics

  • J. Rosser
  • Philosophy
    Journal of Symbolic Logic
  • 1937
Introduction. In setting up his definition of analyticity, Carnap uses various non-constructive rules, of which we shall be concerned with only one. This one we shall call simply “Carnap's rule.” It

The contributions of Alfred Tarski to general algebra

A distinctive feature of modern mathematics is the interaction between its various branches and the blurring of the boundaries between different areas. This is strikingly illustrated in the work of

The completeness of the first-order functional calculus

  • L. Henkin
  • Mathematics
    Journal of Symbolic Logic
  • 1949
This paper presents a new method of proof for the first-order functional calculus which requires less formal development of the system from the axioms and suggests a new approach to the problem of completeness for functional calculi of higher order.

Elementary properties of free groups

In this paper we show that several classes of elementary properties (properties definable by sentences of a first order logic) of groups hold for all nonabelian free groups. These results are


?1. Summary A family of binary relations, or sets of ordered pairs, which is a boolean algebra, which is closed under the operations of forming converses and relative products, and which contains an

Applications of the theory of Boolean rings to general topology

In an earlier paperf we have developed an abstract theory of Boolean algebras and their representations by algebras of classes. We now relate this theory to the study of general topology. The first

On the Generalization of the Algebra of the Theory of Numbers. The Invariancy of Infinite Series

In this paper is considered the modular periodicities which are determined by sets of forms in r variables. The indices of periods are found by means of a class of modular resultants which are in

On notation for ordinal numbers

  • S. Kleene
  • Mathematics
    Journal of Symbolic Logic
  • 1938
Consider a system of formal notations for ordinal numbers in the first and second number classes, with the following properties. Given a notation for an ordinal, it can be decided effectively whether

On the Structure of Abstract Algebras

The following paper is a study of abstract algebras qua abstract algebras. As no vocabulary suitable for this purpose is current, I have been forced to use a number of new terms, and extend the