×

zbMATH — the first resource for mathematics

Tarski, Alfred

Compute Distance To:
Author ID: tarski.alfred Recent zbMATH articles by "Tarski, Alfred"
Published as: Tarski, Alfred; Tarski, A.; Tajtelbaum-Tarski, A.; Tajtelbaum, A.; Tajtelbaum-Tarski, Alfred; Tarski, K.
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 188 Publications since 1921, including 41 Books
Biographic References: 78 Publications

Publications by Year

Citations contained in zbMATH Open

142 Publications have been cited 4,317 times in 3,351 Documents Cited by Year
A lattice-theoretical fixpoint theorem and its applications. Zbl 0064.26004
Tarski, Alfred
636
1955
A decision method for elementary algebra and geometry. 2nd ed. Zbl 0044.25102
Tarski, A.
379
1951
Boolean algebras with operators. I. Zbl 0045.31505
Jónsson, Bjarni; Tarski, Alfred
251
1951
The algebra of topology. Zbl 0060.06206
McKinsey, J. C. C.; Tarski, A.
164
1944
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
146
1948
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
138
1985
Cylindric algebras. Part 1. With an introductory chapter: General theory of algebras (Studies in Logic and the Foundations of Mathematics. Vol. 64). Zbl 0214.01302
Henkin, L.; Monk, J. Donald; Tarski, A.
134
1971
On the calculus of relations. JFM 67.0973.02
Tarski, A.
124
1941
Boolean algebras with operators. II. Zbl 0045.31601
Jónsson, Bjarni; Tarski, Alfred
121
1952
A formalization of set theory without variables. Zbl 0654.03036
Tarski, Alfred; Givant, Steven
117
1987
On closed elements in closure algebras. Zbl 0060.06207
McKinsey, J. C. C.; Tarski, Alfred
104
1946
Undecidable theories. Zbl 0053.00401
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.
101
1953
Investigations into the sentential calculus. (Untersuchungen über den Aussagenkalkül.) JFM 57.1319.01
Łukasiewicz, J.; Tarski, Alfred
91
1930
Measures in Boolean algebras. Zbl 0035.03001
Horn, Alfred; Tarski, Alfred
76
1948
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
73
1941
A decision method for elementary algebra and geometry. Prepared for publication by J. C. C. McKinsey. Zbl 0035.00602
Tarski, Alfred
71
1948
Contributions to the theory of models. I-III. Zbl 0058.24702
Tarski, Alfred
65
1955
Fundamental concepts of the methodology of the deductive sciences. I. (Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I.) JFM 56.0046.02
Tarski, Alfred
59
1930
Arithmetical extensions of relational systems. Zbl 0091.01201
Tarski, Alfred; Vaught, Robert L.
55
1957
What are logical notions? Zbl 0622.03004
Tarski, Alfred; Corcoran, John (ed.)
53
1986
Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen. Zbl 0564.51001
Schwabhäuser, W.; Szmielew, W.; Tarski, A.
50
1983
On families of mutually exclusive sets. Zbl 0060.12602
Erdős, Pál; Tarski, A.
48
1943
Cardinal algebras. With an appendix, ‘Cardinal products of isomorphism types’, by Bjarni Jónsson and Alfred Tarski. Zbl 0041.34502
Tarski, Alfred
44
1949
The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen.) Zbl 0013.28903
Tarski, Alfred
42
1935
Equational logic and equational theories of algebras. Zbl 0209.01402
Tarski, A.
36
1968
The semantic conception of truth and the foundations of semantics. Zbl 0061.00807
Tarski, Alfred
36
1944
Distributive and modular laws in the arithmetic of relation algebras. Zbl 0045.31701
Chin, Louise H.; Tarski, Alfred
34
1951
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven
33
1999
Cylindric algebras. Zbl 0121.25402
Henkin, L.; Tarski, A.
30
1961
From accessible to inaccessible cardinals. (Results holding for all accessible numbers and the problem of their extension to inaccessible ones.). Zbl 0173.00802
Keisler, H. J.; Tarski, A.
30
1965
On some fundamental concepts of metamathematics. (Über einige fundamentale Begriffe der Metamathematik.) JFM 57.1318.03
Tarski, A.
30
1931
Sur la décomposition des ensembles de points en parties respectivement congruentes. JFM 50.0370.02
Banach, St.; Tarski, A.
29
1924
Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Translated by J. H. Woodger. Zbl 0075.00702
Tarski, Alfred
28
1956
A decision method for elementary algebra and geometry. Zbl 0900.03045
Tarski, Alfred
28
1998
Une contribution à la théorie de la mesure. JFM 56.0089.05
Tarski, A.
26
1930
The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen.) JFM 62.1051.05
Tarski, Alfred
26
1936
Sur la décomposition des ensembles en sous-ensembles presque disjoints. JFM 54.0092.02
Tarski, A.
25
1928
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.09703
Tarski, Alfred
22
1933
Direct decompositions of finite algebraic systems. Zbl 0041.34501
Jonsson, B.; Tarski, A.
22
1947
Equationally complete rings and relation algebras. Zbl 0073.24603
Tarski, Alfred
22
1956
On the concept of logical consequence. (Über den Begriff der logischen Folgerung.) JFM 62.1050.05
Tarski, Alfred
21
1936
On two properties of free algebras. Zbl 0111.02002
Jonsson, B.; Tarski, A.
20
1961
Refinement properties for relational structures. Zbl 0171.25805
Chang, C. C.; Jonsson, B.; Tarski, A.
20
1964
A remark on functionally free algebras. Zbl 0060.06208
Tarski, 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.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
19
1981
On the concept of following logically. Translated from the Polish and German by Magda Stroińska and David Hitchcock. Zbl 1030.03003
Tarski, Alfred
19
2002
Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) Zbl 0020.33704
Tarski, Alfred
18
1938
Sur les ensembles finis. JFM 50.0135.02
Tarski, A.
18
1924
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
17
1985
Sur les ensembles définissables de nombres réels. I. JFM 57.0060.02
Tarski, A.
17
1931
Boolesche Ringe mit geordneter Basis. JFM 65.0086.03
Mostowski, A.; Tarski, A.
17
1939
What is elementary geometry? Zbl 0092.38504
Tarski, Alfred
16
1959
Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. Zbl 0025.00401
Tarski, A.
15
1941
Algebraische Fassung des Maßproblems. JFM 64.0190.01
Tarski, A.
15
1938
Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) JFM 64.0928.04
Tarski, Alfred
15
1938
The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414
Henkin, Leon (ed.); Suppes, Patrick (ed.); Tarski, Alfred (ed.)
14
1959
Foundations of the calculus of systems. I. (Grundzüge des Systemenkalküls. I.) Zbl 0012.38501
Tarski, Alfred
14
1935
On the foundations of Boolean algebra. I. (Zur Grundlegung der Boole’schen Algebra. I.) JFM 61.0054.02
Tarski, Alfred
13
1935
On the foundations of Boolean algebra. (Zur Grundlegung der Booleschen Algebra. I.) Zbl 0011.00203
Tarski, Alfred
12
1935
Axiomatic and algebraic aspects of two theorems on sums of cardinals. Zbl 0031.28903
Tarski, Alfred
12
1948
Communication sur les recherches de la théorie des ensembles. JFM 57.1330.02
Lindenbaum, A.; Tarski, A.
11
1926
Quelques théorèmes sur les alephs. JFM 51.0164.03
Tarski, A.
11
1925
On undecidable statements in enlarged systems of logic and the concept of truth. Zbl 0021.38504
Tarski, Alfred
10
1939
Higher degrees of distributivity and completeness in Boolean algebras. Zbl 0092.03301
Smith, E. C. jun.; Tarski, Alfred
10
1957
Sur quelques théorèmes qui équivalent à l’axiome du choix. JFM 50.0135.01
Tajtelbaum-Tarski, A.
10
1924
Über unerreichbare Kardinalzahlen. Zbl 0018.34702
Tarski, Alfred
9
1938
Cancellation laws in the arithmetic of cardinals. Zbl 0039.04804
Tarski, Alfred
9
1949
Remarks on predicate logic with infinitely long expressions. Zbl 0119.25003
Tarski, A.
9
1958
A simplified formalization of predicate logic with identity. Zbl 0166.00104
Tarski, Alfred
9
1965
Introduction to logic and the methodology of deductive sciences. Translated by Olaf Helmer. Zbl 0171.25103
Tarski, Alfred
9
1965
Foundations of the calculus of systems. I. (Grundzüge des Systemenkalküls. I.) JFM 62.0038.01
Tarski, Alfred
9
1935
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
8
1958
Sur les classes d’ensembles closes par rapport à certaines opérations élémentaires. JFM 56.0843.03
Tarski, A.
8
1930
Sur la décomposition des ensembles en sous-ensembles presque disjoints. JFM 55.0053.04
Tarski, A.
8
1929
The elementary theory of well-ordering - a metamathematical study. Zbl 0461.03003
Doner, John E.; Mostowski, Andrzej; Tarski, Alfred
8
1978
Über unerreichbare Kardinalzahlen. JFM 64.0033.04
Tarski, A.
8
1938
An interpolation theorem for irredundant bases of closure structures. Zbl 0319.06002
Tarski, Alfred
8
1975
Algebraische Fassung des Maßproblems. Zbl 0019.05403
Tarski, Alfred
7
1938
Ordinal algebras. Appendices by Chen-Chung Chang and Bjarni Jónsson. Zbl 0072.00201
Tarski, Alfred
7
1956
Ideale in vollständigen Mengenkörpern. II. Zbl 0060.13306
Tarski, Alfred
7
1945
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred; Tarski, Jan (ed.)
7
1994
Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. JFM 67.0033.03
Tarski, A.
7
1941
Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe. JFM 61.0050.03
Tarski, A.
7
1935
Einführung in die mathematische Logik und in die Methodologie der Mathematik. Zbl 0018.00101
Tarski, Alfred
6
1937
Boolesche Ringe mit geordneter Basis. Zbl 0021.10903
Mostowski, Andrzej; Tarski, Alfred
6
1939
Ideale in vollständigen Mengenkörpern. I. Zbl 0021.10904
Tarski, Alfred
6
1939
On well-ordered subsets of any set. Zbl 0021.11003
Tarski, Alfred
6
1939
On well-ordered subsets of any set. JFM 65.1165.01
Tarski, A.
6
1939
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.51003
Schwabhäuser, Wolfram; Szmielew, Wanda; Tarski, Alfred
6
2011
Remarks on direct products of commutative semigroups. Zbl 0081.26102
Tarski, Alfred
5
1957
Foundations of the calculus of systems. II. (Grundzüge des Systemenkalküls. II.) Zbl 0014.38701
Tarski, Alfred
5
1936
A problem concerning the notion of definability. Zbl 0029.24205
Tarski, Alfred
5
1948
On algebras whose factor algebras are Boolean. Zbl 0047.26403
Fell, J. M. G.; Tarski, Alfred
5
1952
Some notions and methods on the borderline of algebra and metamathematics. Zbl 0049.00702
Tarski, Alfred
5
1952
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.01026
Tarski, Alfred
5
1986
Logic, methodology and philosophy of science. Proceedings of the 1960 International Congress. Zbl 0128.24101
Nagel, Ernest (ed.); Suppes, Patrick (ed.); Tarski, Alfred (ed.)
5
1962
The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103
Addison, J. W. (ed.); Henkin, Leon (ed.); Tarski, Alfred (ed.)
5
1965
A general theorem concerning primitive notions of Euclidean geometry. Zbl 0072.15504
Tarski, Alfred
5
1956
Sur une propriété caractéristique des nombres inaccessibles. JFM 56.0084.01
Sierpiński, W.; Tarski, A.
5
1930
Metamathematical discussion of some affine geometries. Zbl 0497.03008
Szczerba, L. W.; Tarski, A.
5
1979
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.51003
Schwabhä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.03003
Tarski, Alfred
19
2002
On the concept of logical consequence. Zbl 1035.03530
Tarski, Alfred
1
2002
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven
33
1999
A decision method for elementary algebra and geometry. Zbl 0900.03045
Tarski, Alfred
28
1998
On the primitive term of logistic. (Doctoral dissertation). Zbl 0900.03017
Tajtelbaum-Tarski, Alfred
2
1998
Some current problems in metamathematics. Zbl 0842.03004
Tarski, Alfred; Tarski, Jan; Woleński, Jan
1
1995
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred; Tarski, Jan
7
1994
A formalization of set theory without variables. Zbl 0654.03036
Tarski, Alfred; Givant, Steven
117
1987
What are logical notions? Zbl 0622.03004
Tarski, Alfred; Corcoran, John
53
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.01026
Tarski, Alfred
5
1986
Representable cylindric algebras. Zbl 0616.03040
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
5
1986
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
138
1985
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
17
1985
Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen. Zbl 0564.51001
Schwabhäuser, W.; Szmielew, W.; Tarski, A.
50
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.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
19
1981
Metamathematical discussion of some affine geometries. Zbl 0497.03008
Szczerba, L. W.; Tarski, A.
5
1979
The elementary theory of well-ordering - a metamathematical study. Zbl 0461.03003
Doner, John E.; Mostowski, Andrzej; Tarski, Alfred
8
1978
An interpolation theorem for irredundant bases of closure structures. Zbl 0319.06002
Tarski, Alfred
8
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.01302
Henkin, L.; Monk, J. Donald; Tarski, A.
134
1971
Introduction à la logique. Traduit de l’anglais par J. Tremblay. \(3^ e\) éd. revue. (Introduction to logic.). Zbl 0229.02001
Tarski, Alfred
1
1971
An extended arithmetic of ordinal numbers. Zbl 0198.02301
Doner, J.; Tarski, A.
4
1969
Equational logic and equational theories of algebras. Zbl 0209.01402
Tarski, A.
36
1968
Undecidable theories. Zbl 0187.27702
Tarski, A.
3
1968
From accessible to inaccessible cardinals. (Results holding for all accessible numbers and the problem of their extension to inaccessible ones.). Zbl 0173.00802
Keisler, H. J.; Tarski, A.
30
1965
A simplified formalization of predicate logic with identity. Zbl 0166.00104
Tarski, Alfred
9
1965
Introduction to logic and the methodology of deductive sciences. Translated by Olaf Helmer. Zbl 0171.25103
Tarski, Alfred
9
1965
The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103
Addison, J. W.; Henkin, Leon; Tarski, Alfred
5
1965
Metamathematical properties of some affine geometries. Zbl 0149.38502
Szczerba, L. W.; Tarski, A.
2
1965
Refinement properties for relational structures. Zbl 0171.25805
Chang, C. C.; Jonsson, B.; Tarski, A.
20
1964
Logic, methodology and philosophy of science. Proceedings of the 1960 International Congress. Zbl 0128.24101
Nagel, Ernest; Suppes, Patrick; Tarski, Alfred
5
1962
Some problems and results relevant to the foundations of set theory. Zbl 0199.01801
Tarski, Alfred
3
1962
On some problems involving inaccessible cardinals. Zbl 0212.32502
Erdős, Paul; Tarski, A.
2
1962
Cylindric algebras. Zbl 0121.25402
Henkin, L.; Tarski, A.
30
1961
On two properties of free algebras. Zbl 0111.02002
Jonsson, B.; Tarski, A.
20
1961
Independent recursive axiomatizability. Zbl 0201.32503
Montague, R.; Tarski, A.
2
1960
Introductory remarks on the theory of models. Zbl 0171.25803
Tarski, A.
1
1960
What is elementary geometry? Zbl 0092.38504
Tarski, Alfred
16
1959
The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414
Henkin, Leon; Suppes, Patrick; Tarski, Alfred
14
1959
Remarks on predicate logic with infinitely long expressions. Zbl 0119.25003
Tarski, A.
9
1958
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
8
1958
Arithmetical extensions of relational systems. Zbl 0091.01201
Tarski, Alfred; Vaught, Robert L.
55
1957
Higher degrees of distributivity and completeness in Boolean algebras. Zbl 0092.03301
Smith, E. C. jun.; Tarski, Alfred
10
1957
Remarks on direct products of commutative semigroups. Zbl 0081.26102
Tarski, Alfred
5
1957
Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Translated by J. H. Woodger. Zbl 0075.00702
Tarski, Alfred
28
1956
Equationally complete rings and relation algebras. Zbl 0073.24603
Tarski, Alfred
22
1956
Ordinal algebras. Appendices by Chen-Chung Chang and Bjarni Jónsson. Zbl 0072.00201
Tarski, Alfred
7
1956
A general theorem concerning primitive notions of Euclidean geometry. Zbl 0072.15504
Tarski, Alfred
5
1956
Equilaterality as the only primitive notion of Euclidean geometry. Zbl 0072.15503
Beth, Evert W.; Tarski, Alfred
1
1956
A lattice-theoretical fixpoint theorem and its applications. Zbl 0064.26004
Tarski, Alfred
636
1955
Contributions to the theory of models. I-III. Zbl 0058.24702
Tarski, Alfred
65
1955
Theorems on the existence of successors of cardinals and the axiom of choice. Zbl 0055.04803
Tarski, Alfred
3
1954
Undecidable theories. Zbl 0053.00401
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.
101
1953
Boolean algebras with operators. II. Zbl 0045.31601
Jónsson, Bjarni; Tarski, Alfred
121
1952
On algebras whose factor algebras are Boolean. Zbl 0047.26403
Fell, J. M. G.; Tarski, Alfred
5
1952
Some notions and methods on the borderline of algebra and metamathematics. Zbl 0049.00702
Tarski, Alfred
5
1952
A decision method for elementary algebra and geometry. 2nd ed. Zbl 0044.25102
Tarski, A.
379
1951
Boolean algebras with operators. I. Zbl 0045.31505
Jónsson, Bjarni; Tarski, Alfred
251
1951
Distributive and modular laws in the arithmetic of relation algebras. Zbl 0045.31701
Chin, Louise H.; Tarski, Alfred
34
1951
Cardinal algebras. With an appendix, ‘Cardinal products of isomorphism types’, by Bjarni Jónsson and Alfred Tarski. Zbl 0041.34502
Tarski, Alfred
44
1949
Cancellation laws in the arithmetic of cardinals. Zbl 0039.04804
Tarski, Alfred
9
1949
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
146
1948
Measures in Boolean algebras. Zbl 0035.03001
Horn, Alfred; Tarski, Alfred
76
1948
A decision method for elementary algebra and geometry. Prepared for publication by J. C. C. McKinsey. Zbl 0035.00602
Tarski, Alfred
71
1948
Axiomatic and algebraic aspects of two theorems on sums of cardinals. Zbl 0031.28903
Tarski, Alfred
12
1948
A problem concerning the notion of definability. Zbl 0029.24205
Tarski, Alfred
5
1948
Direct decompositions of finite algebraic systems. Zbl 0041.34501
Jonsson, B.; Tarski, A.
22
1947
On closed elements in closure algebras. Zbl 0060.06207
McKinsey, J. C. C.; Tarski, Alfred
104
1946
A remark on functionally free algebras. Zbl 0060.06208
Tarski, Alfred
20
1946
Ideale in vollständigen Mengenkörpern. II. Zbl 0060.13306
Tarski, Alfred
7
1945
The algebra of topology. Zbl 0060.06206
McKinsey, J. C. C.; Tarski, A.
164
1944
The semantic conception of truth and the foundations of semantics. Zbl 0061.00807
Tarski, Alfred
36
1944
On families of mutually exclusive sets. Zbl 0060.12602
Erdős, Pál; Tarski, A.
48
1943
An introduction to logic. JFM 68.0022.05
Tarski, A.
1
1942
On the calculus of relations. JFM 67.0973.02
Tarski, A.
124
1941
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
73
1941
Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. Zbl 0025.00401
Tarski, A.
15
1941
Introduction to logic and to the methodology of deductive sciences. Translated by O. Helmer. Enlarged and revised edition. JFM 67.0033.03
Tarski, A.
7
1941
Boolesche Ringe mit geordneter Basis. JFM 65.0086.03
Mostowski, A.; Tarski, A.
17
1939
On undecidable statements in enlarged systems of logic and the concept of truth. Zbl 0021.38504
Tarski, Alfred
10
1939
Boolesche Ringe mit geordneter Basis. Zbl 0021.10903
Mostowski, Andrzej; Tarski, Alfred
6
1939
Ideale in vollständigen Mengenkörpern. I. Zbl 0021.10904
Tarski, Alfred
6
1939
On well-ordered subsets of any set. Zbl 0021.11003
Tarski, Alfred
6
1939
On well-ordered subsets of any set. JFM 65.1165.01
Tarski, A.
6
1939
Ideale in vollständigen Mengenkörpern. I. JFM 65.0185.01
Tarski, A.
3
1939
On undecidable statements in enlarged systems of logic and the concept of truth. JFM 65.0020.10
Tarski, A.
2
1939
Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) Zbl 0020.33704
Tarski, Alfred
18
1938
Algebraische Fassung des Maßproblems. JFM 64.0190.01
Tarski, A.
15
1938
Sentential calculus and topology. (Der Aussagenkalkül und die Topologie.) JFM 64.0928.04
Tarski, Alfred
15
1938
Über unerreichbare Kardinalzahlen. Zbl 0018.34702
Tarski, Alfred
9
1938
Über unerreichbare Kardinalzahlen. JFM 64.0033.04
Tarski, A.
8
1938
Algebraische Fassung des Maßproblems. Zbl 0019.05403
Tarski, Alfred
7
1938
Ein Beitrag zur Axiomatik der Abelschen Gruppen. JFM 64.0053.02
Tarski, A.
5
1938
Drei Überdeckungssätze der allgemeinen Mengenlehre. JFM 64.0034.01
Tarski, A.
4
1938
Über das absolute Mass linearer Punktmengen. Zbl 0018.39404
Tarski, Alfred
3
1938
Ein Beitrag zur Axiomatik der Abelschen Gruppen. Zbl 0019.05204
Tarski, Alfred
3
1938
Über das absolute Maß linearer Punktmengen. JFM 64.0194.01
Tarski, A.
3
1938
Eine äquivalente Formulierung des Auswahlaxioms. Zbl 0019.09801
Tarski, Alfred
1
1938
Einführung in die mathematische Logik und in die Methodologie der Mathematik. Zbl 0018.00101
Tarski, Alfred
6
1937
Über additive und multiplikative Mengenkörper und Mengenfunktionen. JFM 63.0831.06
Tarski, A.
5
1937
...and 42 more Documents
all top 5

Cited by 3,337 Authors

38 Németi, István
37 Andréka, Hajnal
31 Bezhanishvili, Guram
25 Maddux, Roger D.
23 Hodkinson, Ian Martin
23 Sayed Ahmed, Tarek
22 Pambuccian, Victor V.
19 Berghammer, Rudolf
19 Gehrke, Mai
18 Mundici, Daniele
17 Givant, Steven R.
17 Goldblatt, Robert Ian
17 Hirsch, Robin
16 Bezhanishvili, Nick
14 Bredikhin, Dmitry Aleksandrovich
13 Düntsch, Ivo
13 Grigor’ev, Dmitriĭ Yur’evich
13 Venema, Yde
13 Winter, Michael
13 Zakharyaschev, Michael Viktorovich
12 Amir, Rabah
12 Monk, James Donald
12 Reffett, Kevin L.
11 Lucero-Bryan, Joel Gregory
11 Orłowska, Ewa S.
11 Tarski, Alfred
10 Feferman, Solomon
10 Omodeo, Eugenio Giovanni
9 Brink, Chris
9 Guttmann, Walter
9 Hajnal, András
9 Maksimova, Larisa L’vovna
9 Wolter, Frank
8 Comer, Stephen Daniel
8 Ferenczi, Miklós
8 Formisano, Andrea
8 Heikkilä, Seppo V.
8 Jakubík, Ján
8 Jipsen, Peter
8 Katz, Mikhail G.
8 Kremer, Philip
8 Milner, Eric Charles
8 Narboux, Julien
8 Padmanabhan, Ranganathan
8 Palmigiano, Alessandra
8 Platzer, André
8 Shelah, Saharon
8 Turinici, Mihai
8 van Benthem, Johan F. A. K.
8 Visser, Albert
8 Xia, Bican
7 Balbus, Łukasz
7 Béziau, Jean-Yves
7 Celani, Sergio Arturo
7 Corcoran, John
7 Cousot, Patrick
7 Di Nola, Antonio
7 Erdős, Pál
7 Fernández Duque, David
7 Furusawa, Hitoshi
7 Gabelaia, David
7 Gyssens, Marc
7 Hartonas, Chrysafis
7 Keisler, Howard Jerome
7 Pigozzi, Don Leonard
7 Priestley, Hilary A.
7 Subramani, Krishnan
7 Suszko, Roman
7 Taylor, Walter F.
7 Van Gucht, Dirk
7 Vorob’ëv, Nikolaĭ N. jun.
7 Woźny, Łukasz
6 Aceto, Luca
6 Beeson, Michael J.
6 Coquand, Thierry
6 De Cock, Martine
6 Desharnais, Jules
6 Duan, Zhenhua
6 Esakia, Leo
6 Grabowski, Adam
6 Grumberg, Orna
6 Harding, John
6 Kurucz, Agi
6 Lange, Martin
6 Larsen, Kim Guldstrand
6 Marx, Maarten
6 McKenzie, Ralph N.
6 Mikulás, Szabolcs
6 Möller, Bernhard
6 Moraschini, Tommaso
6 Morozov, Andreĭ Sergeevich
6 Piazza, Carla
6 Plotkin, Boris
6 Policriti, Alberto
6 Rothblum, Uriel George
6 Schmidt, Gunther
6 van Mill, Jan
6 Vermeir, Dirk
6 Yang, Lu
5 Awodey, Steve
...and 3,237 more Authors
all top 5

Cited in 368 Serials

180 Studia Logica
173 Algebra Universalis
170 Theoretical Computer Science
122 Annals of Pure and Applied Logic
114 The Journal of Symbolic Logic
89 Transactions of the American Mathematical Society
76 Journal of Philosophical Logic
64 Proceedings of the American Mathematical Society
64 Synthese
49 Journal of Symbolic Computation
48 Fuzzy Sets and Systems
44 The Review of Symbolic Logic
43 Information and Computation
42 Notre Dame Journal of Formal Logic
41 Archive for Mathematical Logic
37 Journal of Applied Non-Classical Logics
35 Artificial Intelligence
34 Journal of Algebra
32 Annals of Mathematics and Artificial Intelligence
31 History and Philosophy of Logic
31 The Bulletin of Symbolic Logic
30 Journal of Computer and System Sciences
28 Israel Journal of Mathematics
28 Algebra and Logic
28 Topology and its Applications
28 Journal of Logical and Algebraic Methods in Programming
27 Logica Universalis
24 Information Sciences
24 Journal of Pure and Applied Algebra
24 Order
23 Archiv für Mathematische Logik und Grundlagenforschung
23 Mathematische Annalen
23 Journal of Automated Reasoning
22 Journal of Economic Theory
22 Siberian Mathematical Journal
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 Mathematical Logic Quarterly (MLQ)
18 The Journal of Logic and Algebraic Programming
17 Archiv der Mathematik
17 Czechoslovak Mathematical Journal
17 Soft Computing
16 Discrete Mathematics
16 International Journal of Approximate Reasoning
16 Journal of Applied Logic
15 Mathematische Zeitschrift
15 Semigroup Forum
15 MSCS. Mathematical Structures in Computer Science
15 Applied Categorical Structures
15 Logical Methods in Computer Science
14 Acta Informatica
14 Acta Mathematica Academiae Scientiarum Hungaricae
14 Mathematical Notes
14 Advances in Mathematics
14 Theory and Practice of Logic Programming
13 Journal of Geometry
13 Formal Methods in System Design
12 Communications in Algebra
12 Fixed Point Theory and Applications
11 Economic Theory
11 Erkenntnis
10 International Journal of Theoretical Physics
10 Discrete & Computational Geometry
10 Discrete Event Dynamic Systems
10 Games and Economic Behavior
10 Journal of Logic, Language and Information
10 Logic and Logical Philosophy
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
7 Automatica
7 Journal of Mathematical Psychology
7 Journal of Complexity
7 Mathematics in Computer Science
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 Mathematica Slovaca
6 International Journal of Algebra and Computation
6 European Journal of Operational Research
6 Mathematical Programming. Series A. Series B
6 Journal of Mathematical Sciences (New York)
6 Higher-Order and Symbolic Computation
5 Discrete Applied Mathematics
5 Mathematics of Operations Research
5 Results in Mathematics
5 Tohoku Mathematical Journal. Second Series
5 Systems & Control Letters
5 Mathematical Social Sciences
...and 268 more Serials
all top 5

Cited in 57 Fields

1,744 Mathematical logic and foundations (03-XX)
900 Computer science (68-XX)
500 Order, lattices, ordered algebraic structures (06-XX)
251 General algebraic systems (08-XX)
189 General topology (54-XX)
188 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
142 History and biography (01-XX)
121 Category theory; homological algebra (18-XX)
119 Group theory and generalizations (20-XX)
87 Combinatorics (05-XX)
80 Geometry (51-XX)
67 Operations research, mathematical programming (90-XX)
66 Algebraic geometry (14-XX)
65 Field theory and polynomials (12-XX)
62 Numerical analysis (65-XX)
61 Measure and integration (28-XX)
58 General and overarching topics; collections (00-XX)
54 Systems theory; control (93-XX)
53 Operator theory (47-XX)
45 Associative rings and algebras (16-XX)
43 Commutative algebra (13-XX)
40 Probability theory and stochastic processes (60-XX)
30 Quantum theory (81-XX)
29 Ordinary differential equations (34-XX)
29 Functional analysis (46-XX)
28 Convex and discrete geometry (52-XX)
27 Number theory (11-XX)
25 Linear and multilinear algebra; matrix theory (15-XX)
21 Real functions (26-XX)
20 Dynamical systems and ergodic theory (37-XX)
19 Information and communication theory, circuits (94-XX)
14 Topological groups, Lie groups (22-XX)
14 Abstract harmonic analysis (43-XX)
14 Statistics (62-XX)
13 Partial differential equations (35-XX)
13 Calculus of variations and optimal control; optimization (49-XX)
13 Algebraic topology (55-XX)
13 Biology and other natural sciences (92-XX)
10 Several complex variables and analytic spaces (32-XX)
9 Manifolds and cell complexes (57-XX)
9 Relativity and gravitational theory (83-XX)
8 Approximations and expansions (41-XX)
7 Difference and functional equations (39-XX)
6 Global analysis, analysis on manifolds (58-XX)
4 Functions of a complex variable (30-XX)
4 Special functions (33-XX)
4 Integral equations (45-XX)
3 Nonassociative rings and algebras (17-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Sequences, series, summability (40-XX)
2 Differential geometry (53-XX)
2 Mechanics of particles and systems (70-XX)
2 Fluid mechanics (76-XX)
1 \(K\)-theory (19-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Astronomy and astrophysics (85-XX)
1 Mathematics education (97-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.