Alfred Tarski | Academic Influence

Why Is Alfred Tarski Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

(See a Problem?)

Alfred Tarski's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Papers

A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS (1955) (2885)
A Decision Method For Elementary Algebra And Geometry (1951) (1958)
The Semantic Conception of Truth and the Foundations of Semantics (1944) (1101)
On the calculus of relations (1941) (897)
Boolean Algebras with Operators (1952) (857)
Logic, Methodology and Philosophy of Science (1963) (818)
Der Wahrheitsbegriff in den formalisierten Sprachen (1935) (800)
Boolean Algebras with Operators. Part I (1951) (725)
Logic, Semantics, Metamathematics (1957) (649)
The Algebra of Topology (1944) (600)
A Formalization Of Set Theory Without Variables (1987) (547)
Some theorems about the sentential calculi of Lewis and Heyting (1948) (431)
Logic, Semantics, Metamathematics: Papers from 1923 to 1938 (1958) (430)
Cylindric Algebras. Part II (1988) (429)
Cylindric Algebras. Part II (1988) (429)
Contributions to the theory of models. III (1954) (346)
On Closed Elements in Closure Algebras (1946) (307)
Sur la décomposition des ensembles de points en parties respectivement congruentes (304)
What are logical notions (1986) (288)
Arithmetical extensions of relational systems (1958) (254)
What is Elementary Geometry (1959) (224)
Truth and proof. (1969) (221)
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I (1930) (207)
Der Aussagenkalkül und die Topologie (1938) (189)
Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress (1962) (184)
Metamathematische Methoden in der Geometrie (1983) (176)
Measures in Boolean algebras (1948) (152)
Sur les ensembles définissables de nombres réels (1931) (147)
On Families of Mutually Exclusive Sets (1943) (133)
MATHEMATICSContributions to the Theory of Models. I (1954) (110)
Sur les ensembles finis (106)
Cylindric Set Algebras (1981) (105)
The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 (1959) (100)
From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones) (1964) (98)
Remarks on predicate logic with infinitely long expressions (1958) (96)
Zur Grundlegung der Boole'schen Algebra. I (1935) (95)
Equational Logic and Equational Theories of Algebras (1968) (93)
Algebraische Fassung des Maßproblems (1938) (92)
From Accessible to Inaccessible Cardinals (1967) (90)
A Remark on Functionally Free Algebras (1925) (88)
Sur la décomposition des ensembles en sous-ensembles presque disjoints (86)
Une contribution à la théorie de la mesure (80)
Über unerreichbare Kardinalzahlen (1938) (74)
Direct decompositions of finite algebraic systems (1947) (67)
Grundzüge der Systemenkalküls I (1935) (61)
Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit (1933) (59)
A simplified formalization of predicate logic with identity (1964) (56)
On well-ordered subsets of any set (1939) (54)
On Two Properties of Free Algebras. (1961) (54)
Refinement properties for relational structures (1964) (52)
On undecidable statements in enlarged systems of logic and the concept of truth (1939) (48)
Boolesche Ringe mit geordneter Basis (1939) (47)
Axiomatic and algebraic aspects of two theorems on sums of cardinals (1948) (47)
I: A General Method in Proofs of Undecidability (1953) (46)
Equationally Complete Rings and Relation Algebras (1956) (46)
The Sentential Calculus with Infinitely Long Expressions (1958) (41)
Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe (1935) (40)
On some problems involving inaccessible cardinals (1961) (40)
Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien (1936) (38)
Grundzüge des Systemenkalküls II (1936) (37)
Some Problems and Results Relevant to the Foundations of Set Theory (1966) (36)
Metamathematical discussion of some affine geometries (1979) (35)
Higher degrees of distributivity and completeness in Boolean algebras (1957) (35)
Quelques théorèmes sur les alephs (34)
The Elementary Theory of Well-Odering—A Metamathematical Study— (1978) (33)
Ein Beitrag zur Axiomatik der Abelschen Gruppen (1938) (31)
Ideale in vollständigen Mengenkörpern. I (1939) (28)
Les opérations logiques et les ensembles projectifs (1931) (27)
Sur une propriété caractéristique des nombres inaccessibles (27)
A General Theorem Concerning Primitive Notions of Euclidean Geometry (1956) (26)
The Theory of Models Proceedings of the 1963 International Symposium at Berkeley (1965) (25)
A problem concerning the notion of definability (1948) (25)
Cancellation laws in the arithmetic of cardinals (1949) (25)
An extended arithmetic of ordinal numbers (1969) (23)
Equilaterality as the Only Primitive Notion of Euclidean Geometry (1956) (23)
Drei Briefe an Otto Neurath (1992) (23)
Cylindric set algebras and related structures (1981) (22)
Einführung in die mathematische Logik und in die Methodologie der Mathematik (1937) (21)
Sur les classes d'ensembles closes par rapport à certaines opérations élémentaires (20)
On the Application of Symbolic Logic to Algebra (1953) (18)
Wahrscheinlichkeitslehre und mehrwertige Logik: (1935) (17)
Quantenlogik und das Kommutative Gesetz (1959) (16)
An interpolation theorem for irredundant bases of closure structures (1975) (15)
Languages with Added Quantifier There Exist at Least ℵ α (1970) (13)
Metamathematical Properties of Some Affine Geometries (1971) (13)
Über das absolute Maß linearer Punktmengen (1938) (12)
The Fundamental Ideas of Pansomatism (1955) (11)
On algebras whose factor algebras are Boolean. (1952) (11)
Theorems on the Existence of Successors of Cardinals, and the Axiom of Choice (1954) (10)
Logique, sémantique, métamathématique, 1923-1944 (1972) (10)
Cardinal algebras : with an appendix, Cardinal products of isomorphism types (1949) (10)
Remarks on direct products of commutative semigroups (1957) (10)
Representable cylindric algebras (1986) (9)
Ein Axiomatischer Aufbau der Euklidischen Geometrie (1986) (8)
II: Undecidability and Essential Undecidability in Arithmetic (1953) (8)
Über Äquivalenz der Mengen in bezug auf eine beliebige klasse von abbidungen (7)
Drei Überdeckungssätze der allgemeinen Mengenlehre (1938) (7)
Dept. of Philosophy University of California at San Diego La Jolla, CA 92093 USA (1990) (6)
Über den Aussagenkalkül (1937) (4)
Boolean rings with an ordered basis (1979) (3)
Corrections to the paper "From accessible to inaccessible cardinals" (Fundamenta Mathematicae 53 (1964) pp. 225-308) (1965) (3)
Eine äquivalente Formulierung des Auswahlaxioms (1938) (3)
Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693 and G14006 : report for the period July 1, 1959-June 30, 1961 (1962) (2)
WHAT IS ELEMENTARY GEOMETRY ? 17 mentary logic (2)
Sur L'algébre des Prédicats (1959) (2)
Ein Überdeckungssatz für endliche Mengen (1938) (2)
H. Rasiowa and R. Sikorski. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae , vol. 38 (for 1951, pub. 1952), pp. 230–232. (1953) (1)
Review: Andrzej Mostowski, On the Independence of the Definitions of Finiteness in a System of Logic (1938) (1)
Sur les classes d'ensembles closes par rapport aux opérations de Hausdorff (1936) (1)
Review: Boleslaw Sobocinski, Axiomatization of Certain many-Valued Systems of the Theory of Deduction (1937) (1)
Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem (1953) (1)
Sätze über die Anordnung von Zahlen (1937) (0)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday (1974) (0)
Implications of the main results for semantic and axiomatic foundations of set theory (1987) (0)
Title and Copyright Pages (1947) (0)
Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers (1987) (0)
Chapter I: Elementary properties of direct products (1947) (0)
Chapter II: The center of an algebra (1947) (0)
List of officers and members of the Association for Symbolic Logic (1945) (0)
The relative equipollence of ℒ and ℒ⁺, and the formalization of set theory in ℒ^{×} (1987) (0)
List of officers and Members of the Association for Symbolic Logic (1946) (0)
Some improvements of the equipollence results (1987) (0)
Members of the Association (1939) (0)
Measurement, Empirical Meaningfulness, and Three-Valued Logic.@@@Logics Appropriate to Empirical Theories. (1970) (0)
Chapter IV: Applications to isomorphism types (1947) (0)
III: Undecidability of the Elementary Theory of Groups (1953) (0)
The Fraenkel-Mostowski Method for Independence Proofs in Set Theory (1975) (0)
Applications to relation algebras and to varieties of algebras (1987) (0)
The formalism ℒ⁺, a definitional extension of ℒ (1987) (0)
The formalism ℒof predicate logic (1987) (0)
Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232 (1953) (0)
Chapter III: Direct products with finite factors (1947) (0)
The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ (1987) (0)
Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693, G14006, G19673, and GP-1395 : report for the period July 1, 1961-June 30, 1964 (1965) (0)
Konnexität der Zwischenbeziehung und Streckenvergleich (1983) (0)
Einführung eines angeordneten Körpers (1983) (0)
Erratum zu: Errata — Band 5 (1935) (0)
Die Sätze von Pappus-Pascal und von Desargues (1983) (0)
Über die Relationstheorie (1937) (0)
Halbgeraden und Geraden (1983) (0)
Entscheidbarkeit, Vollständigkeit, Finitisierbarkeit (1983) (0)
Folgerungen aus A1 bis A5 (1983) (0)
Halbebenen und Ebenen, Unterräume (1983) (0)
Axiomensysteme für die ganze Arithmetik reeller Zahlen (1937) (0)
Sätze über die Addition und die Subtraktion (1937) (0)
Review: Neuere ausländische lehrbücher der logistik (1949) (0)
Über die Theorie der Identität (1937) (0)
Methodologische Betrachtungen über das aufgebaute Bruchstück der Arithmetik (1937) (0)
Allgemeine affine Geometrie (1983) (0)
Längen von Strecken (1983) (0)
Über die deduktive Methode (1937) (0)
Einfache Sätze über Kongruenz und Zwischenbeziehung (1983) (0)
Über die Variablen (1937) (0)
Kongruenz und Größenvergleich von Winkeln, Kongruenzsätze, Orthogonalität für Unterräume (1983) (0)
Parallelität (im euklidischen Sinne) (1983) (0)
Einfuhrung in die Mathematischen Logik und in die Methodologie der Mathematik (1938) (0)
Einfache Sätze über die Zwischenbeziehung (1983) (0)
Über die Klassentheorie (1937) (0)
Das Tarskische Axiomensystem, kartesische Räume (1983) (0)
Hilfsmittel aus der mathematischen Logik (1983) (0)
Review: Zygmunt Schmierer, Uber die Charakteristische Funktionen in den Mehrwertigen Systemen der Logik (1937) (0)
Übersicht über betrachtete Geometrien (1983) (0)
Hinweise auf weitere Ergebnisse (1983) (0)
Allocution Prononcée par M. A. Ch'telet (1960) (0)
Logique, sémantique, métamathématique, 2 vol. Coll. « Philosophies pour l''ge de la science » (1975) (0)

This paper list is powered by the following services:

Other Resources About Alfred Tarski

en.wikipedia.org

What Schools Are Affiliated With Alfred Tarski?

Alfred Tarski is affiliated with the following schools:

Alfred Tarski's AcademicInfluence.com Rankings

Image Attributions

Image Source for Alfred Tarski