Alfred Tarski | Academic Influence

Alfred Tarski's AcademicInfluence.com Rankings

Alfred Tarski

Philosophy

#41

Historical Rank

Mathematical Logic

#3

Historical Rank

Logic

#8

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Alfred Tarski's Degrees

PhD Mathematics University of Warsaw

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 Works

A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS (1955) (2913)
A Decision Method For Elementary Algebra And Geometry (1951) (2005)
The Semantic Conception of Truth and the Foundations of Semantics (1944) (1115)
On the calculus of relations (1941) (909)
Boolean Algebras with Operators (1952) (873)
Logic, Methodology and Philosophy of Science (1963) (819)
Der Wahrheitsbegriff in den formalisierten Sprachen (1935) (808)
Boolean Algebras with Operators. Part I (1951) (732)
Logic, Semantics, Metamathematics (1957) (659)
The Algebra of Topology (1944) (611)
A Formalization Of Set Theory Without Variables (1987) (552)
Logic, Semantics, Metamathematics: Papers from 1923 to 1938 (1958) (441)
Some theorems about the sentential calculi of Lewis and Heyting (1948) (435)
Cylindric Algebras. Part II (1988) (430)
Cylindric Algebras. Part II (1988) (430)
Contributions to the theory of models. III (1954) (351)
On Closed Elements in Closure Algebras (1946) (309)
Sur la décomposition des ensembles de points en parties respectivement congruentes (309)
What are logical notions (1986) (291)
Arithmetical extensions of relational systems (1958) (256)
Truth and proof. (1969) (224)
What is Elementary Geometry (1959) (223)
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I (1930) (207)
Der Aussagenkalkül und die Topologie (1938) (190)
Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress (1962) (184)
Metamathematische Methoden in der Geometrie (1983) (181)
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) (106)
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) (101)
From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones) (1964) (99)
Remarks on predicate logic with infinitely long expressions (1958) (97)
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) (91)
A Remark on Functionally Free Algebras (1925) (88)
Sur la décomposition des ensembles en sous-ensembles presque disjoints (87)
Une contribution à la théorie de la mesure (81)
Ü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)
On Two Properties of Free Algebras. (1961) (57)
A simplified formalization of predicate logic with identity (1964) (56)
On well-ordered subsets of any set (1939) (54)
Refinement properties for relational structures (1964) (53)
On undecidable statements in enlarged systems of logic and the concept of truth (1939) (48)
Equationally Complete Rings and Relation Algebras (1956) (48)
Boolesche Ringe mit geordneter Basis (1939) (48)
I: A General Method in Proofs of Undecidability (1953) (48)
Axiomatic and algebraic aspects of two theorems on sums of cardinals (1948) (47)
The Sentential Calculus with Infinitely Long Expressions (1958) (41)
Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien (1936) (40)
On some problems involving inaccessible cardinals (1961) (40)
Einige methodologifche Unterfuchungen über die Definierbarkeit der Begriffe (1935) (40)
Some Problems and Results Relevant to the Foundations of Set Theory (1966) (37)
Metamathematical discussion of some affine geometries (1979) (37)
Grundzüge des Systemenkalküls II (1936) (37)
Higher degrees of distributivity and completeness in Boolean algebras (1957) (35)
The Elementary Theory of Well-Odering—A Metamathematical Study— (1978) (34)
Quelques théorèmes sur les alephs (34)
Ein Beitrag zur Axiomatik der Abelschen Gruppen (1938) (31)
Ideale in vollständigen Mengenkörpern. I (1939) (29)
Sur une propriété caractéristique des nombres inaccessibles (27)
Les opérations logiques et les ensembles projectifs (1931) (27)
A General Theorem Concerning Primitive Notions of Euclidean Geometry (1956) (26)
Cancellation laws in the arithmetic of cardinals (1949) (25)
The Theory of Models Proceedings of the 1963 International Symposium at Berkeley (1965) (25)
A problem concerning the notion of definability (1948) (25)
Drei Briefe an Otto Neurath (1992) (25)
An extended arithmetic of ordinal numbers (1969) (24)
Equilaterality as the Only Primitive Notion of Euclidean Geometry (1956) (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) (19)
Wahrscheinlichkeitslehre und mehrwertige Logik: (1935) (17)
Quantenlogik und das Kommutative Gesetz (1959) (16)
An interpolation theorem for irredundant bases of closure structures (1975) (15)
Metamathematical Properties of Some Affine Geometries (1971) (14)
Languages with Added Quantifier There Exist at Least ℵ α (1970) (13)
Über das absolute Maß linearer Punktmengen (1938) (12)
The Fundamental Ideas of Pansomatism (1955) (12)
On algebras whose factor algebras are Boolean. (1952) (11)
Remarks on direct products of commutative semigroups (1957) (10)
Logique, sémantique, métamathématique, 1923-1944 (1972) (10)
Theorems on the Existence of Successors of Cardinals, and the Axiom of Choice (1954) (10)
Cardinal algebras : with an appendix, Cardinal products of isomorphism types (1949) (10)
II: Undecidability and Essential Undecidability in Arithmetic (1953) (9)
Representable cylindric algebras (1986) (9)
Ein Axiomatischer Aufbau der Euklidischen Geometrie (1986) (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)
Boolean rings with an ordered basis (1979) (3)
Eine äquivalente Formulierung des Auswahlaxioms (1938) (3)
Über den Aussagenkalkül (1937) (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)
Ein Überdeckungssatz für endliche Mengen (1938) (2)
Sur L'algébre des Prédicats (1959) (2)
WHAT IS ELEMENTARY GEOMETRY ? 17 mentary logic (2)
Review: Andrzej Mostowski, On the Independence of the Definitions of Finiteness in a System of Logic (1938) (1)
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: Boleslaw Sobocinski, Axiomatization of Certain many-Valued Systems of the Theory of Deduction (1937) (1)
Sur les classes d'ensembles closes par rapport aux opérations de Hausdorff (1936) (1)
Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem (1953) (1)
Hinweise auf weitere Ergebnisse (1983) (0)
Das Tarskische Axiomensystem, kartesische Räume (1983) (0)
Über die deduktive Methode (1937) (0)
Applications to relation algebras and to varieties of algebras (1987) (0)
The Fraenkel-Mostowski Method for Independence Proofs in Set Theory (1975) (0)
Halbebenen und Ebenen, Unterräume (1983) (0)
Some improvements of the equipollence results (1987) (0)
Die Sätze von Pappus-Pascal und von Desargues (1983) (0)
Review: Neuere ausländische lehrbücher der logistik (1949) (0)
Logique, sémantique, métamathématique, 2 vol. Coll. « Philosophies pour l''ge de la science » (1975) (0)
Halbgeraden und Geraden (1983) (0)
The formalism ℒof predicate logic (1987) (0)
Über die Theorie der Identität (1937) (0)
Allocution Prononcée par M. A. Ch'telet (1960) (0)
Members of the Association (1939) (0)
Einfuhrung in die Mathematischen Logik und in die Methodologie der Mathematik (1938) (0)
Hilfsmittel aus der mathematischen Logik (1983) (0)
List of officers and members of the Association for Symbolic Logic (1945) (0)
Measurement, Empirical Meaningfulness, and Three-Valued Logic.@@@Logics Appropriate to Empirical Theories. (1970) (0)
Folgerungen aus A1 bis A5 (1983) (0)
Einfache Sätze über Kongruenz und Zwischenbeziehung (1983) (0)
Parallelität (im euklidischen Sinne) (1983) (0)
Über die Relationstheorie (1937) (0)
Review: Zygmunt Schmierer, Uber die Charakteristische Funktionen in den Mehrwertigen Systemen der Logik (1937) (0)
Über die Klassentheorie (1937) (0)
Implications of the main results for semantic and axiomatic foundations of set theory (1987) (0)
Kongruenz und Größenvergleich von Winkeln, Kongruenzsätze, Orthogonalität für Unterräume (1983) (0)
Über die Variablen (1937) (0)
Chapter III: Direct products with finite factors (1947) (0)
Übersicht über betrachtete Geometrien (1983) (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)
Chapter IV: Applications to isomorphism types (1947) (0)
The formalism ℒ⁺, a definitional extension of ℒ (1987) (0)
Einfache Sätze über die Zwischenbeziehung (1983) (0)
List of officers and Members of the Association for Symbolic Logic (1946) (0)
Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232 (1953) (0)
Erratum zu: Errata — Band 5 (1935) (0)
Methodologische Betrachtungen über das aufgebaute Bruchstück der Arithmetik (1937) (0)
Sätze über die Addition und die Subtraktion (1937) (0)
Allgemeine affine Geometrie (1983) (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)
Einführung eines angeordneten Körpers (1983) (0)
Chapter II: The center of an algebra (1947) (0)
Chapter I: Elementary properties of direct products (1947) (0)
Axiomensysteme für die ganze Arithmetik reeller Zahlen (1937) (0)
The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ (1987) (0)
The relative equipollence of ℒ and ℒ⁺, and the formalization of set theory in ℒ^{×} (1987) (0)
Sätze über die Anordnung von Zahlen (1937) (0)
Konnexität der Zwischenbeziehung und Streckenvergleich (1983) (0)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday (1974) (0)
Längen von Strecken (1983) (0)
Title and Copyright Pages (1947) (0)
III: Undecidability of the Elementary Theory of Groups (1953) (0)
Entscheidbarkeit, Vollständigkeit, Finitisierbarkeit (1983) (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:

Image Attributions

Image Source for Alfred Tarski