Results 131 to 140 of about 1,570 (181)

Alfred Tarski on Scientific Semantics

Logic, Epistemology, and the Unity of Science
David Hitchcock, Magda Stroińska
exaly   +2 more sources

Alfred Tarski

Journal of Symbolic Logic, 1986
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire   +2 more sources

Bibliography of Alfred Tarski

Journal of Symbolic Logic, 1986
The author has set forth a complete bibliography of Tarski's published works. The over 250 items are arranged in chronological order and are divided according nine sections: papers, abstracts, monographs, contributions to discussions, reviews, publications as an editor, project reports and letters.
openaire   +1 more source

Tarski

, 2011
This chapter offers a simplified account of the most basic features of Alfred Tarski's model theory. Tarski foresaw important applications for a notion of truth in mathematics, but also saw that mathematicians were suspicious of that notion, and rightly ...
Alexis G. Burgess, John P. Burgess
exaly   +2 more sources

The contributions of Alfred Tarski to general algebra

Journal 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 Alfred Tarski. He was a logician first and an algebraist second.
openaire   +2 more sources

The contributions of Alfred Tarski to algebraic logic

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, Boolean algebras with operators, Brouwerian algebras, and closure algebras. The last two are less developed in his work, although his contributions are basic
openaire   +2 more sources

Alfred Tarski's work in model theory

Journal of Symbolic Logic, 1986
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 ...
openaire   +2 more sources

Unifying threads in alfred tarski’s work

The Mathematical Intelligencer, 1999
The work of Alfred Tarski covers a great range of subjects: set theory, measure theory, topology, geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics. The aim of the paper under review is to find the underlying unity in Tarski's work and to trace steps that may have led to some of his ...
openaire   +2 more sources

Alfred Tarski

2003
Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S ...
openaire   +1 more source

Alfred Tarski's work in set theory

The Journal of Symbolic Logic, 1988
Alfred Tarski started contributing to set theory at a time when the Zermelo-Fraenkel axiom system was not yet fully formulated and as simple a concept as that of the inaccessible cardinal was not yet fully defined. At the end of Tarski's career the basic concepts of the three major areas and tools of modern axiomatic set theory, namely constructibility,
openaire   +1 more source