# Alfred Tarski's work in model theory

@article{Vaught1986AlfredTW, title={Alfred Tarski's work in model theory}, author={Robert L. Vaught}, journal={Journal of Symbolic Logic}, year={1986}, volume={51}, pages={869 - 882} }

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…

## 34 Citations

### Alfred Tarski and undecidable theories

- PhilosophyJournal of Symbolic Logic
- 1986

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 )

- Philosophy
- 2000

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

- PhilosophyJournal 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

- PhilosophyJournal of Symbolic Logic
- 1988

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

- Mathematics
- 2003

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 Conceptual Analysis of Semantical Notions

- Philosophy
- 2008

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

- PhilosophyJournal of Symbolic Logic
- 1988

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

- MathematicsJournal of Symbolic Logic
- 1988

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

- Philosophy
- 2010

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…

## References

SHOWING 1-10 OF 46 REFERENCES

### The contributions of Alfred Tarski to algebraic logic

- MathematicsJournal 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

- PhilosophyJournal 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

- MathematicsJournal of Symbolic Logic
- 1986

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

- MathematicsJournal 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

- Mathematics
- 1973

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…

### THE REPRESENTATION OF RELATIONAL ALGEBRAS

- Mathematics
- 1950

?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

- Mathematics
- 1937

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

- Mathematics
- 1927

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

- MathematicsJournal 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

- Mathematics
- 1935

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…