Edit Profile (opens in new tab) Tarski, Alfred Compute Distance To: Compute Author ID: tarski.alfred Published as: Tarski, Alfred; Tarski, A.; Tajtelbaum-Tarski, A.; Tajtelbaum, A.; Tajtelbaum-Tarski, Alfred; Tarski, K. more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 183 Publications since 1921, including 36 Books 5 Contributions as Editor · 3 Further Contributions Biographic References: 78 Publications Co-Authors: 31 Co-Authors with 56 Joint Publications 822 Co-Co-Authors all top 5 Co-Authors 128 single-authored 10 Henkin, Leon Albert 8 Jónsson, Bjarni 5 Monk, James Donald 4 McKinsey, J. C. C. 4 Mostowski, Andrzej Stanisław 3 Givant, Steven R. 3 Lindenbaum, Adolf 3 Nagel, Ernest 3 Suppes, Patrick 2 Addison, J. W. 2 Carnap, Rudolf 2 Chang, Chen-Chung 2 Doner, John E. 2 Erdős, Pál 2 Kuratowski, Kazimierz 2 Schwabhäuser, Wolfram 2 Scott, Dana Stewart 2 Szmielew, Wanda 2 Tarski, Jan 2 Vaught, Robert L. 1 Andréka, Hajnal 1 Banach, Stefan 1 Beeson, Michael J. 1 Beth, Evert Willem 1 Chin, Louise H. 1 Chisholm, Roderick M. 1 Corcoran, John 1 Feigl, Herbert 1 Fell, James M. G. 1 Frege, Gottlob 1 Gruber, Monika 1 Hempel, Carl Gustav 1 Horn, Alfred 1 Keisler, Howard Jerome 1 Lukasiewicz, Jan 1 McKenzie, Ralph N. 1 Montague, Richard 1 Németi, István 1 Quine, Willard Van Orman 1 Robinson, Raphael Mitchel 1 Russell, Bertrand 1 Sellers, Wilfrid 1 Sierpiński, Wacław 1 Smith, Edgar Clarence jun. 1 Stegmüller, Wolfgang 1 Woleński, Jan all top 5 Serials 47 Fundamenta Mathematicae 10 Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III 8 Annales de la Société Polonaise de Mathématique 6 The Journal of Symbolic Logic 6 Studies in Logic and the Foundations of Mathematics 5 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 4 Annals of Mathematics. Second Series 3 History and Philosophy of Logic 3 Monatshefte für Mathematik und Physik 2 American Journal of Mathematics 2 Colloquium Mathematicum 2 Mathematica Scandinavica 2 Pacific Journal of Mathematics 2 Transactions of the American Mathematical Society 2 Erkenntnis 2 Actualités Scientifiques et Industrielles 2 Moderne Mathematik in Elementarer Darstellung 2 Akademie der Wissenschaften in Wien, Mathematisch-Naturwissenschaftliche Klasse, Anzeiger 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Discrete Mathematics 1 Boletín de la Sociedad Matemática Mexicana. Segunda Serie 1 Compositio Mathematica 1 Euclides 1 Annals of Pure and Applied Logic 1 The Bulletin of Symbolic Logic 1 Colloquium Publications. American Mathematical Society 1 Lecture Notes in Mathematics 1 Oxford Logic Guides 1 Logic, Epistemology, and the Unity of Science 1 Contemporary Mathematicians all top 5 Fields 73 Mathematical logic and foundations (03-XX) 13 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 4 Geometry (51-XX) 3 General algebraic systems (08-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General topology (54-XX) 1 Field theory and polynomials (12-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 144 Publications have been cited 4,721 times in 3,625 Documents Cited by ▼ Year ▼ A lattice-theoretical fixpoint theorem and its applications. Zbl 0064.26004Tarski, Alfred 704 1955 A decision method for elementary algebra and geometry. 2nd ed. Zbl 0044.25102Tarski, A. 399 1951 Boolean algebras with operators. I. Zbl 0045.31505Jónsson, Bjarni; Tarski, Alfred 285 1951 The algebra of topology. Zbl 0060.06206McKinsey, J. C. C.; Tarski, A. 182 1944 Cylindric algebras. Part II. Zbl 0576.03043Henkin, Leon; Monk, J. Donald; Tarski, Alfred 162 1985 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 157 1948 A formalization of set theory without variables. Zbl 0654.03036Tarski, Alfred; Givant, Steven 137 1987 Cylindric algebras. Part 1. With an introductory chapter: General theory of algebras (Studies in Logic and the Foundations of Mathematics. Vol. 64). Zbl 0214.01302Henkin, L.; Monk, J. Donald; Tarski, A. 135 1971 Boolean algebras with operators. II. Zbl 0045.31601Jónsson, Bjarni; Tarski, Alfred 135 1952 On the calculus of relations. JFM 67.0973.02Tarski, A. 129 1941 Undecidable theories. Zbl 0053.00401Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. 111 1953 On closed elements in closure algebras. Zbl 0060.06207McKinsey, J. C. C.; Tarski, Alfred 110 1946 Investigations into the sentential calculus. (Untersuchungen über den Aussagenkalkül.) JFM 57.1319.01Łukasiewicz, J.; Tarski, Alfred 97 1930 Measures in Boolean algebras. Zbl 0035.03001Horn, Alfred; Tarski, Alfred 86 1948 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 85 1941 A decision method for elementary algebra and geometry. Prepared for publication by J. C. C. McKinsey. Zbl 0035.00602Tarski, Alfred 76 1948 Contributions to the theory of models. I-III. Zbl 0058.24702Tarski, Alfred 71 1955 Fundamental concepts of the methodology of the deductive sciences. I. (Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I.) JFM 56.0046.02Tarski, Alfred 63 1930 What are logical notions? Zbl 0622.03004Tarski, Alfred 56 1986 Arithmetical extensions of relational systems. Zbl 0091.01201Tarski, Alfred; Vaught, Robert L. 55 1957 On families of mutually exclusive sets. Zbl 0060.12602Erdős, Pál; Tarski, A. 54 1943 Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen. Zbl 0564.51001Schwabhäuser, W.; Szmielew, W.; Tarski, A. 54 1983 Cardinal algebras. With an appendix, ‘Cardinal products of isomorphism types’, by Bjarni Jónsson and Alfred Tarski. Zbl 0041.34502Tarski, Alfred 48 1949 The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen.) Zbl 0013.28903Tarski, Alfred 43 1935 Equational logic and equational theories of algebras. Zbl 0209.01402Tarski, A. 38 1968 Sur la décomposition des ensembles de points en parties respectivement congruentes. JFM 50.0370.02Banach, St.; Tarski, A. 38 1924 Tarski’s system of geometry. Zbl 0932.01031Tarski, Alfred; Givant, Steven 37 1999 Distributive and modular laws in the arithmetic of relation algebras. Zbl 0045.31701Chin, Louise H.; Tarski, Alfred 36 1951 The semantic conception of truth and the foundations of semantics. Zbl 0061.00807Tarski, Alfred 36 1944 A decision method for elementary algebra and geometry. Zbl 0900.03045Tarski, Alfred 34 1998 From accessible to inaccessible cardinals. (Results holding for all accessible numbers and the problem of their extension to inaccessible ones.). Zbl 0173.00802Keisler, H. J.; Tarski, A. 33 1965 Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Translated by J. H. Woodger. Zbl 0075.00702Tarski, Alfred 31 1956 Cylindric algebras. Zbl 0121.25402Henkin, L.; Tarski, A. 31 1961 On some fundamental concepts of metamathematics. (Über einige fundamentale Begriffe der Metamathematik.) JFM 57.1318.03Tarski, A. 30 1931 Sur la décomposition des ensembles en sous-ensembles presque disjoints. JFM 54.0092.02Tarski, A. 28 1928 The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen.) JFM 62.1051.05Tarski, Alfred 27 1936 Une contribution à la théorie de la mesure. JFM 56.0089.05Tarski, A. 27 1930 On the concept of logical consequence. (Über den Begriff der logischen Folgerung.) JFM 62.1050.05Tarski, Alfred 24 1936 Some observations on the concepts of \(\omega\)-consistency and \(\omega\)-completeness. (Einige Betrachtungen über die Begriffe der \(\omega\)- Widerspruchsfreiheit und der \(\omega\)-Vollständigkeit.) Zbl 0007.09703Tarski, Alfred 24 1933 On the concept of following logically. Translated from the Polish and German by Magda Stroińska and David Hitchcock. Zbl 1030.03003Tarski, Alfred 23 2002 Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) Zbl 0020.33704Tarski, Alfred 23 1938 On two properties of free algebras. Zbl 0111.02002Jonsson, B.; Tarski, A. 23 1961 Direct decompositions of finite algebraic systems. Zbl 0041.34501Jonsson, B.; Tarski, A. 22 1947 Equationally complete rings and relation algebras. Zbl 0073.24603Tarski, Alfred 22 1956 Refinement properties for relational structures. Zbl 0171.25805Chang, C. C.; Jonsson, B.; Tarski, A. 22 1964 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 A remark on functionally free algebras. Zbl 0060.06208Tarski, Alfred 20 1946 Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I. 20 1981 Sur les ensembles finis. JFM 50.0135.02Tarski, A. 19 1924 Sur les ensembles définissables de nombres réels. I. JFM 57.0060.02Tarski, A. 19 1931 What is elementary geometry? Zbl 0092.38504Tarski, Alfred 18 1959 Boolesche Ringe mit geordneter Basis. JFM 65.0086.03Mostowski, A.; Tarski, A. 17 1939 Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) JFM 64.0928.04Tarski, Alfred 17 1938 Axiomatic and algebraic aspects of two theorems on sums of cardinals. Zbl 0031.28903Tarski, Alfred 17 1948 Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. Zbl 0025.00401Tarski, A. 16 1941 Algebraische Fassung des Maßproblems. JFM 64.0190.01Tarski, A. 16 1938 Foundations of the calculus of systems. I. (Grundzüge des Systemenkalküls. I.) Zbl 0012.38501Tarski, Alfred 14 1935 The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414 14 1959 On the foundations of Boolean algebra. I. (Zur Grundlegung der Boole’schen Algebra. I.) JFM 61.0054.02Tarski, Alfred 13 1935 On the foundations of Boolean algebra. (Zur Grundlegung der Booleschen Algebra. I.) Zbl 0011.00203Tarski, Alfred 12 1935 Remarks on predicate logic with infinitely long expressions. Zbl 0119.25003Tarski, A. 12 1958 Foundations of the calculus of systems. I. (Grundzüge des Systemenkalküls. I.) JFM 62.0038.01Tarski, Alfred 11 1935 Quelques théorèmes sur les alephs. JFM 51.0164.03Tarski, A. 11 1925 Communication sur les recherches de la théorie des ensembles. JFM 57.1330.02Lindenbaum, A.; Tarski, A. 11 1926 Higher degrees of distributivity and completeness in Boolean algebras. Zbl 0092.03301Smith, E. C. jun.; Tarski, Alfred 11 1957 On undecidable statements in enlarged systems of logic and the concept of truth. Zbl 0021.38504Tarski, Alfred 10 1939 Sur quelques théorèmes qui équivalent à l’axiome du choix. JFM 50.0135.01Tajtelbaum-Tarski, A. 10 1924 Über unerreichbare Kardinalzahlen. Zbl 0018.34702Tarski, Alfred 10 1938 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 10 1958 A simplified formalization of predicate logic with identity. Zbl 0166.00104Tarski, Alfred 10 1965 Introduction to logic and the methodology of deductive sciences. Translated by Olaf Helmer. Zbl 0171.25103Tarski, Alfred 10 1965 An interpolation theorem for irredundant bases of closure structures. Zbl 0319.06002Tarski, Alfred 9 1975 Über unerreichbare Kardinalzahlen. JFM 64.0033.04Tarski, A. 9 1938 Cancellation laws in the arithmetic of cardinals. Zbl 0039.04804Tarski, Alfred 9 1949 Sur la décomposition des ensembles en sous-ensembles presque disjoints. JFM 55.0053.04Tarski, A. 9 1929 The elementary theory of well-ordering - a metamathematical study. Zbl 0461.03003Doner, John E.; Mostowski, Andrzej; Tarski, Alfred 8 1978 On well-ordered subsets of any set. JFM 65.1165.01Tarski, A. 8 1939 Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe. JFM 61.0050.03Tarski, A. 8 1935 Algebraische Fassung des Maßproblems. Zbl 0019.05403Tarski, Alfred 8 1938 Representable cylindric algebras. Zbl 0616.03040Henkin, Leon; Monk, J. Donald; Tarski, Alfred 8 1986 Ideale in vollständigen Mengenkörpern. II. Zbl 0060.13306Tarski, Alfred 8 1945 Sur les classes d’ensembles closes par rapport à certaines opérations élémentaires. JFM 56.0843.03Tarski, A. 8 1930 Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001Tarski, Alfred 8 1994 Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. JFM 67.0033.03Tarski, A. 7 1941 Boolesche Ringe mit geordneter Basis. Zbl 0021.10903Mostowski, Andrzej; Tarski, Alfred 6 1939 Ideale in vollständigen Mengenkörpern. I. Zbl 0021.10904Tarski, Alfred 6 1939 On well-ordered subsets of any set. Zbl 0021.11003Tarski, Alfred 6 1939 Ein Beitrag zur Axiomatik der Abelschen Gruppen. JFM 64.0053.02Tarski, A. 6 1938 A problem concerning the notion of definability. Zbl 0029.24205Tarski, Alfred 6 1948 Foundations of the calculus of systems. II. (Grundzüge des Systemenkalküls. II.) Zbl 0014.38701Tarski, Alfred 6 1936 Einführung in die mathematische Logik und in die Methodologie der Mathematik. Zbl 0018.00101Tarski, Alfred 6 1937 Metamathematical methods in geometry. Part I: An axiomatic building of Euclidean geometries. Part II: Metamathematical considerations. With a new foreword by Michael Beeson. Reprint of the 1983 original published by Springer. (Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen.) Zbl 1237.51003Schwabhäuser, Wolfram; Szmielew, Wanda; Tarski, Alfred 6 2011 Ordinal algebras. Appendices by Chen-Chung Chang and Bjarni Jónsson. Zbl 0072.00201Tarski, Alfred 6 1956 The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103 6 1965 Metamathematical discussion of some affine geometries. Zbl 0497.03008Szczerba, L. W.; Tarski, A. 6 1979 Über additive und multiplikative Mengenkörper und Mengenfunktionen. JFM 63.0831.06Tarski, A. 5 1937 On the concept of logical consequence. (La notion de l’implication logique.) JFM 62.1065.17Tarski, Alfred 5 1936 Collected papers. Volume 1: 1921–1934. Volume 2: 1935–1944. Volume 3: 1945–1957. Volume 4: 1958–1979. Ed. by Steven R. Givant and Ralph N. McKenzie. Zbl 0606.01026Tarski, Alfred 5 1986 On algebras whose factor algebras are Boolean. Zbl 0047.26403Fell, J. M. G.; Tarski, Alfred 5 1952 Some notions and methods on the borderline of algebra and metamathematics. Zbl 0049.00702Tarski, Alfred 5 1952 Alfred Tarski and the “Concept of truth in formalized languages”. A running commentary with consideration of the Polish original and the German translation. Zbl 1362.03002Gruber, Monika 1 2016 Metamathematical methods in geometry. Part I: An axiomatic building of Euclidean geometries. Part II: Metamathematical considerations. With a new foreword by Michael Beeson. Reprint of the 1983 original published by Springer. (Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen.) Zbl 1237.51003Schwabhäuser, Wolfram; Szmielew, Wanda; Tarski, Alfred 6 2011 On the concept of following logically. Translated from the Polish and German by Magda Stroińska and David Hitchcock. Zbl 1030.03003Tarski, Alfred 23 2002 On the concept of logical consequence. Zbl 1035.03530Tarski, Alfred 1 2002 Tarski’s system of geometry. Zbl 0932.01031Tarski, Alfred; Givant, Steven 37 1999 A decision method for elementary algebra and geometry. Zbl 0900.03045Tarski, Alfred 34 1998 On the primitive term of logistic. (Doctoral dissertation). Zbl 0900.03017Tajtelbaum-Tarski, Alfred 2 1998 Some current problems in metamathematics. Zbl 0842.03004Tarski, Alfred 1 1995 Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001Tarski, Alfred 8 1994 A formalization of set theory without variables. Zbl 0654.03036Tarski, Alfred; Givant, Steven 137 1987 What are logical notions? Zbl 0622.03004Tarski, Alfred 56 1986 Representable cylindric algebras. Zbl 0616.03040Henkin, Leon; Monk, J. Donald; Tarski, Alfred 8 1986 Collected papers. Volume 1: 1921–1934. Volume 2: 1935–1944. Volume 3: 1945–1957. Volume 4: 1958–1979. Ed. by Steven R. Givant and Ralph N. McKenzie. Zbl 0606.01026Tarski, Alfred 5 1986 Cylindric algebras. Part II. Zbl 0576.03043Henkin, Leon; Monk, J. Donald; Tarski, Alfred 162 1985 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen. Zbl 0564.51001Schwabhäuser, W.; Szmielew, W.; Tarski, A. 54 1983 Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti. Zbl 0497.03025Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I. 20 1981 Metamathematical discussion of some affine geometries. Zbl 0497.03008Szczerba, L. W.; Tarski, A. 6 1979 The elementary theory of well-ordering - a metamathematical study. Zbl 0461.03003Doner, John E.; Mostowski, Andrzej; Tarski, Alfred 8 1978 An interpolation theorem for irredundant bases of closure structures. Zbl 0319.06002Tarski, Alfred 9 1975 Cylindric algebras. Part 1. With an introductory chapter: General theory of algebras (Studies in Logic and the Foundations of Mathematics. Vol. 64). Zbl 0214.01302Henkin, L.; Monk, J. Donald; Tarski, A. 135 1971 Introduction à la logique. Traduit de l’anglais par J. Tremblay. \(3^ e\) éd. revue. (Introduction to logic.). Zbl 0229.02001Tarski, Alfred 1 1971 An extended arithmetic of ordinal numbers. Zbl 0198.02301Doner, J.; Tarski, A. 4 1969 Equational logic and equational theories of algebras. Zbl 0209.01402Tarski, A. 38 1968 Undecidable theories. Zbl 0187.27702Tarski, A. 4 1968 From accessible to inaccessible cardinals. (Results holding for all accessible numbers and the problem of their extension to inaccessible ones.). Zbl 0173.00802Keisler, H. J.; Tarski, A. 33 1965 A simplified formalization of predicate logic with identity. Zbl 0166.00104Tarski, Alfred 10 1965 Introduction to logic and the methodology of deductive sciences. Translated by Olaf Helmer. Zbl 0171.25103Tarski, Alfred 10 1965 The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103 6 1965 Metamathematical properties of some affine geometries. Zbl 0149.38502Szczerba, L. W.; Tarski, A. 2 1965 Refinement properties for relational structures. Zbl 0171.25805Chang, C. C.; Jonsson, B.; Tarski, A. 22 1964 Logic, methodology and philosophy of science. Proceedings of the 1960 International Congress. Zbl 0128.24101 5 1962 Some problems and results relevant to the foundations of set theory. Zbl 0199.01801Tarski, Alfred 3 1962 On some problems involving inaccessible cardinals. Zbl 0212.32502Erdős, Paul; Tarski, A. 2 1962 Cylindric algebras. Zbl 0121.25402Henkin, L.; Tarski, A. 31 1961 On two properties of free algebras. Zbl 0111.02002Jonsson, B.; Tarski, A. 23 1961 Independent recursive axiomatizability. Zbl 0201.32503Montague, R.; Tarski, A. 2 1960 Introductory remarks on the theory of models. Zbl 0171.25803Tarski, A. 1 1960 What is elementary geometry? Zbl 0092.38504Tarski, Alfred 18 1959 The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414 14 1959 Remarks on predicate logic with infinitely long expressions. Zbl 0119.25003Tarski, A. 12 1958 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 10 1958 Arithmetical extensions of relational systems. Zbl 0091.01201Tarski, Alfred; Vaught, Robert L. 55 1957 Higher degrees of distributivity and completeness in Boolean algebras. Zbl 0092.03301Smith, E. C. jun.; Tarski, Alfred 11 1957 Remarks on direct products of commutative semigroups. Zbl 0081.26102Tarski, Alfred 5 1957 Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Translated by J. H. Woodger. Zbl 0075.00702Tarski, Alfred 31 1956 Equationally complete rings and relation algebras. Zbl 0073.24603Tarski, Alfred 22 1956 Ordinal algebras. Appendices by Chen-Chung Chang and Bjarni Jónsson. Zbl 0072.00201Tarski, Alfred 6 1956 A general theorem concerning primitive notions of Euclidean geometry. Zbl 0072.15504Tarski, Alfred 5 1956 Equilaterality as the only primitive notion of Euclidean geometry. Zbl 0072.15503Beth, Evert W.; Tarski, Alfred 1 1956 A lattice-theoretical fixpoint theorem and its applications. Zbl 0064.26004Tarski, Alfred 704 1955 Contributions to the theory of models. I-III. Zbl 0058.24702Tarski, Alfred 71 1955 Theorems on the existence of successors of cardinals and the axiom of choice. Zbl 0055.04803Tarski, Alfred 5 1954 Undecidable theories. Zbl 0053.00401Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. 111 1953 Boolean algebras with operators. II. Zbl 0045.31601Jónsson, Bjarni; Tarski, Alfred 135 1952 On algebras whose factor algebras are Boolean. Zbl 0047.26403Fell, J. M. G.; Tarski, Alfred 5 1952 Some notions and methods on the borderline of algebra and metamathematics. Zbl 0049.00702Tarski, Alfred 5 1952 A decision method for elementary algebra and geometry. 2nd ed. Zbl 0044.25102Tarski, A. 399 1951 Boolean algebras with operators. I. Zbl 0045.31505Jónsson, Bjarni; Tarski, Alfred 285 1951 Distributive and modular laws in the arithmetic of relation algebras. Zbl 0045.31701Chin, Louise H.; Tarski, Alfred 36 1951 Cardinal algebras. With an appendix, ‘Cardinal products of isomorphism types’, by Bjarni Jónsson and Alfred Tarski. Zbl 0041.34502Tarski, Alfred 48 1949 Cancellation laws in the arithmetic of cardinals. Zbl 0039.04804Tarski, Alfred 9 1949 Readings in philosophical analysis. Selected and edited by Herbert Feigl and Wilfrid Sellars. Zbl 0036.00601 1 1949 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 157 1948 Measures in Boolean algebras. Zbl 0035.03001Horn, Alfred; Tarski, Alfred 86 1948 A decision method for elementary algebra and geometry. Prepared for publication by J. C. C. McKinsey. Zbl 0035.00602Tarski, Alfred 76 1948 Axiomatic and algebraic aspects of two theorems on sums of cardinals. Zbl 0031.28903Tarski, Alfred 17 1948 A problem concerning the notion of definability. Zbl 0029.24205Tarski, Alfred 6 1948 Direct decompositions of finite algebraic systems. Zbl 0041.34501Jonsson, B.; Tarski, A. 22 1947 On closed elements in closure algebras. Zbl 0060.06207McKinsey, J. C. C.; Tarski, Alfred 110 1946 A remark on functionally free algebras. Zbl 0060.06208Tarski, Alfred 20 1946 Ideale in vollständigen Mengenkörpern. II. Zbl 0060.13306Tarski, Alfred 8 1945 The algebra of topology. Zbl 0060.06206McKinsey, J. C. C.; Tarski, A. 182 1944 The semantic conception of truth and the foundations of semantics. Zbl 0061.00807Tarski, Alfred 36 1944 On families of mutually exclusive sets. Zbl 0060.12602Erdős, Pál; Tarski, A. 54 1943 An introduction to logic. JFM 68.0022.05Tarski, A. 1 1942 On the calculus of relations. JFM 67.0973.02Tarski, A. 129 1941 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 85 1941 Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. Zbl 0025.00401Tarski, A. 16 1941 Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. JFM 67.0033.03Tarski, A. 7 1941 Boolesche Ringe mit geordneter Basis. JFM 65.0086.03Mostowski, A.; Tarski, A. 17 1939 On undecidable statements in enlarged systems of logic and the concept of truth. Zbl 0021.38504Tarski, Alfred 10 1939 On well-ordered subsets of any set. JFM 65.1165.01Tarski, A. 8 1939 Boolesche Ringe mit geordneter Basis. Zbl 0021.10903Mostowski, Andrzej; Tarski, Alfred 6 1939 Ideale in vollständigen Mengenkörpern. I. Zbl 0021.10904Tarski, Alfred 6 1939 On well-ordered subsets of any set. Zbl 0021.11003Tarski, Alfred 6 1939 Ideale in vollständigen Mengenkörpern. I. JFM 65.0185.01Tarski, A. 3 1939 On undecidable statements in enlarged systems of logic and the concept of truth. JFM 65.0020.10Tarski, A. 2 1939 Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) Zbl 0020.33704Tarski, Alfred 23 1938 Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) JFM 64.0928.04Tarski, Alfred 17 1938 Algebraische Fassung des Maßproblems. JFM 64.0190.01Tarski, A. 16 1938 Über unerreichbare Kardinalzahlen. Zbl 0018.34702Tarski, Alfred 10 1938 Über unerreichbare Kardinalzahlen. JFM 64.0033.04Tarski, A. 9 1938 Algebraische Fassung des Maßproblems. Zbl 0019.05403Tarski, Alfred 8 1938 Ein Beitrag zur Axiomatik der Abelschen Gruppen. JFM 64.0053.02Tarski, A. 6 1938 Drei Überdeckungssätze der allgemeinen Mengenlehre. JFM 64.0034.01Tarski, A. 4 1938 Ein Beitrag zur Axiomatik der Abelschen Gruppen. Zbl 0019.05204Tarski, Alfred 4 1938 Über das absolute Maß linearer Punktmengen. JFM 64.0194.01Tarski, A. 3 1938 Über das absolute Mass linearer Punktmengen. Zbl 0018.39404Tarski, Alfred 3 1938 Eine äquivalente Formulierung des Auswahlaxioms. Zbl 0019.09801Tarski, Alfred 1 1938 ...and 44 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,645 Authors 40 Németi, István 39 Andréka, Hajnal 37 Bezhanishvili, Guram 27 Maddux, Roger D. 24 Hodkinson, Ian Martin 24 Sayed Ahmed, Tarek 23 Pambuccian, Victor V. 20 Berghammer, Rudolf 20 Gehrke, Mai 20 Hirsch, Robin 20 Mundici, Daniele 19 Goldblatt, Robert Ian 17 Bezhanishvili, Nick 17 Düntsch, Ivo 17 Givant, Steven R. 16 Bredikhin, Dmitriĭ Aleksandrovich 15 Orłowska, Ewa S. 13 Grigor’ev, Dmitriĭ Yur’evich 13 Turinici, Mihai 13 Venema, Yde 13 Winter, Michael 13 Zakharyaschev, Michael Viktorovich 12 Amir, Rabah 12 Monk, James Donald 12 Reffett, Kevin L. 11 Jipsen, Peter 11 Lucero-Bryan, Joel Gregory 11 Pigozzi, Don Leonard 11 Tarski, Alfred 10 Feferman, Solomon 10 Guttmann, Walter 10 Omodeo, Eugenio Giovanni 10 Shelah, Saharon 9 Brink, Chris 9 Ferenczi, Miklós 9 Hajnal, András 9 Katz, Mikhail G. 9 Kremer, Philip 9 Lange, Martin 9 Maksimova, Larisa L’vovna 9 Palmigiano, Alessandra 9 Wolter, Frank 8 Blok, Willem Johannes 8 Celani, Sergio Arturo 8 Comer, Stephen Daniel 8 Cousot, Patrick 8 Fernández Duque, David 8 Formisano, Andrea 8 Gabelaia, David 8 Gyssens, Marc 8 Heikkilä, Seppo V. 8 Jakubík, Ján 8 Milner, Eric Charles 8 Narboux, Julien 8 Padmanabhan, Ranganathan 8 Platzer, André 8 Struth, Georg 8 van Benthem, Johan F. A. K. 8 Visser, Albert 8 Vorob’ëv, Nikolaĭ N. jun. 8 Xia, Bican 8 Zhan, Naijun 7 Balbus, Łukasz 7 Beeson, Michael J. 7 Béziau, Jean-Yves 7 Corcoran, John 7 Di Nola, Antonio 7 Erdős, Pál 7 Furusawa, Hitoshi 7 Germano, Giorgio M. 7 Hartonas, Chrysafis 7 Keisler, Howard Jerome 7 Larsen, Kim Guldstrand 7 Moraschini, Tommaso 7 Plotkin, Boris 7 Priestley, Hilary A. 7 Sturm, Thomas 7 Subramani, Krishnan 7 Suszko, Roman 7 Taylor, Walter F. 7 Väänänen, Jouko Antero 7 Van Gucht, Dirk 7 Woźny, Łukasz 6 Aceto, Luca 6 Coquand, Thierry 6 De Cock, Martine 6 Desharnais, Jules 6 Duan, Zhenhua 6 Duffus, Dwight 6 Esakia, Leo 6 Galatos, Nikolaos 6 Grabowski, Adam 6 Grumberg, Orna 6 Harding, John 6 Juhász, István 6 Kurucz, Agi 6 Madarász, Judit X. 6 Marx, Maarten 6 McKenzie, Ralph N. 6 Mikulás, Szabolcs ...and 3,545 more Authors all top 5 Cited in 400 Serials 180 Studia Logica 179 Algebra Universalis 172 Theoretical Computer Science 129 Annals of Pure and Applied Logic 121 The Journal of Symbolic Logic 90 Transactions of the American Mathematical Society 82 Journal of Philosophical Logic 66 Synthese 65 Proceedings of the American Mathematical Society 51 Journal of Symbolic Computation 48 Fuzzy Sets and Systems 47 The Review of Symbolic Logic 46 Information and Computation 45 Notre Dame Journal of Formal Logic 44 Archive for Mathematical Logic 39 Artificial Intelligence 38 Journal of Applied Non-Classical Logics 37 Journal of Algebra 34 The Bulletin of Symbolic Logic 34 Annals of Mathematics and Artificial Intelligence 33 Topology and its Applications 32 Logica Universalis 31 Journal of Computer and System Sciences 31 History and Philosophy of Logic 31 Journal of Logical and Algebraic Methods in Programming 29 Israel Journal of Mathematics 28 Algebra and Logic 27 Journal of Automated Reasoning 26 Journal of Pure and Applied Algebra 25 Information Sciences 24 Order 23 Archiv für Mathematische Logik und Grundlagenforschung 23 Journal of Economic Theory 23 Mathematische Annalen 23 Siberian Mathematical Journal 23 Logical Methods in Computer Science 21 Journal of Mathematical Economics 20 Journal of Mathematical Analysis and Applications 20 Formal Aspects of Computing 20 Bulletin of the American Mathematical Society 19 Information Processing Letters 19 MSCS. Mathematical Structures in Computer Science 19 Mathematical Logic Quarterly (MLQ) 18 International Journal of Approximate Reasoning 18 Soft Computing 18 The Journal of Logic and Algebraic Programming 17 Archiv der Mathematik 17 Czechoslovak Mathematical Journal 16 Discrete Mathematics 16 Semigroup Forum 16 Journal of Applied Logic 15 Advances in Mathematics 15 Mathematische Zeitschrift 15 Applied Categorical Structures 14 Acta Mathematica Academiae Scientiarum Hungaricae 14 Communications in Algebra 14 Mathematical Notes 14 Journal of Geometry 14 Theory and Practice of Logic Programming 13 Acta Informatica 13 Formal Methods in System Design 13 Logic and Logical Philosophy 12 International Journal of Theoretical Physics 12 Fixed Point Theory and Applications 11 Automatica 11 Discrete Event Dynamic Systems 11 Games and Economic Behavior 11 Economic Theory 11 Erkenntnis 10 Discrete & Computational Geometry 10 Journal of Logic, Language and Information 9 Computers & Mathematics with Applications 9 Bulletin of the American Mathematical Society. New Series 9 Indagationes Mathematicae. New Series 9 Proceedings of the Japan Academy 8 Periodica Mathematica Hungarica 8 Compositio Mathematica 8 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 8 Quaestiones Mathematicae 8 Rendiconti del Seminario Matematico della Università di Padova 8 Linear Algebra and its Applications 8 Mathematics in Computer Science 7 Journal of Mathematical Psychology 7 Mathematica Slovaca 7 Journal of Complexity 7 International Journal of Algebra and Computation 7 Mathematical Programming. Series A. Series B 6 International Journal of General Systems 6 The Mathematical Intelligencer 6 Bulletin de la Société Mathématique de France 6 International Journal of Game Theory 6 Mathematics of Operations Research 6 Mathematical Social Sciences 6 European Journal of Operational Research 6 Journal of Mathematical Sciences (New York) 6 Higher-Order and Symbolic Computation 6 International Game Theory Review 6 ACM Transactions on Computational Logic 5 Discrete Applied Mathematics 5 Results in Mathematics ...and 300 more Serials all top 5 Cited in 60 Fields 1,892 Mathematical logic and foundations (03-XX) 1,001 Computer science (68-XX) 544 Order, lattices, ordered algebraic structures (06-XX) 259 General algebraic systems (08-XX) 210 General topology (54-XX) 199 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 151 History and biography (01-XX) 132 Group theory and generalizations (20-XX) 131 Category theory; homological algebra (18-XX) 98 Combinatorics (05-XX) 87 Geometry (51-XX) 74 Operations research, mathematical programming (90-XX) 70 Algebraic geometry (14-XX) 66 Measure and integration (28-XX) 65 Field theory and polynomials (12-XX) 63 Numerical analysis (65-XX) 59 Operator theory (47-XX) 59 Systems theory; control (93-XX) 58 General and overarching topics; collections (00-XX) 50 Commutative algebra (13-XX) 50 Associative rings and algebras (16-XX) 42 Probability theory and stochastic processes (60-XX) 37 Quantum theory (81-XX) 33 Functional analysis (46-XX) 30 Ordinary differential equations (34-XX) 29 Number theory (11-XX) 29 Convex and discrete geometry (52-XX) 26 Linear and multilinear algebra; matrix theory (15-XX) 25 Dynamical systems and ergodic theory (37-XX) 22 Real functions (26-XX) 21 Information and communication theory, circuits (94-XX) 16 Topological groups, Lie groups (22-XX) 16 Abstract harmonic analysis (43-XX) 16 Calculus of variations and optimal control; optimization (49-XX) 15 Algebraic topology (55-XX) 15 Biology and other natural sciences (92-XX) 14 Partial differential equations (35-XX) 14 Statistics (62-XX) 11 Relativity and gravitational theory (83-XX) 10 Several complex variables and analytic spaces (32-XX) 10 Manifolds and cell complexes (57-XX) 8 Difference and functional equations (39-XX) 8 Approximations and expansions (41-XX) 7 Global analysis, analysis on manifolds (58-XX) 5 Integral equations (45-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Functions of a complex variable (30-XX) 4 Special functions (33-XX) 3 Nonassociative rings and algebras (17-XX) 3 Mechanics of particles and systems (70-XX) 2 Sequences, series, summability (40-XX) 2 Differential geometry (53-XX) 2 Fluid mechanics (76-XX) 2 Mathematics education (97-XX) 1 \(K\)-theory (19-XX) 1 Potential theory (31-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.