×

Kleene, Stephen Cole

Compute Distance To:
Author ID: kleene.stephen-cole Recent zbMATH articles by "Kleene, Stephen Cole"
Published as: Kleene, S. C.; Kleene, Stephen C.; Kleene, Stephen Cole; Kleene, Stephen; Kleene, S.
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 84 Publications since 1934, including 15 Books
2 Further Contributions
Biographic References: 5 Publications
Co-Authors: 15 Co-Authors with 14 Joint Publications
80 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 2,185 times in 1,615 Documents Cited by Year
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
753
1952
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
145
1967
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
125
1938
The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601
Kleene, S. C.; Vesley, R. E.
96
1965
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
92
1954
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
88
1945
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
66
1936
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
65
1959
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
64
1943
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
61
1955
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
60
1955
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
58
1944
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
38
1938
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
32
1952
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
32
1955
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
31
1936
Countable functionals. Zbl 0100.24901
Kleene, S. C.
25
1959
Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302
Kleene, S. C.
24
1963
Formalized recursive functionals and formalized realizability. Zbl 0184.02004
Kleene, S. C.
23
1969
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
23
1958
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
19
1956
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
19
1935
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
18
1988
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
17
1963
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
16
1958
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
15
1952
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
14
1937
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
12
1987
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
11
1981
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
9
1950
General recursive functions of natural numbers. JFM 62.0044.02
Kleene, S. C.
8
1936
\(\lambda\)-definability and recursiveness. JFM 62.0045.02
Kleene, S. C.
7
1936
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
7
1935
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
6
1981
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
6
1965
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
6
1935
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
5
2002
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
5
1962
Realizability: A retrospective survey. Zbl 0272.02036
Kleene, S. C.
5
1973
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
5
1959
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
5
1937
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
4
1985
The inconsistency of certain formal logics. JFM 61.0056.04
Kleene, S. C.; Rosser, J. B.
3
1935
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
3
1962
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
3
1952
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038
Kleene, S. C.; Vesley, R. E.
2
1978
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
2
1988
Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903
Kleene, S.
2
1960
Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903
Kleene, S. C.
2
1962
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
2
1968
Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001
Kleene, Stephen Cole
2
1973
Realizability. Zbl 0088.24901
Kleene, S. C.
2
1959
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030
Kleene, S. C.
1
1991
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
The work of Kurt Gödel. Zbl 0366.02001
Kleene, Stephen C.
1
1977
A note on recursive functions. JFM 62.0045.01
Kleene, S. C.
1
1936
A theory of positive integers in formal logic. I. JFM 61.0055.02
Kleene, S. C.
1
1935
A theory of positive integers in formal logic. II. JFM 61.0056.01
Kleene, S. C.
1
1935
The inconsistency of certain formal logics. JFM 61.0062.10
Rosser, J. B.; Kleene, S. C.
1
1935
Logical calculus and realizability. Zbl 0133.25201
Kleene, S. C.
1
1965
Logique mathématique. Zbl 0209.00801
Kleene, S. C.
1
1971
Lambda-definable functionals of finite types. Zbl 0100.25001
Kleene, S. C.
1
1962
A postulational basis for probability. Zbl 0021.14504
Evans, H. P.; Kleene, S. C.
1
1939
On the intuitionistic logic. Zbl 0034.15401
Kleene, S. C.
1
1949
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
5
2002
Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030
Kleene, S. C.
1
1991
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
18
1988
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
2
1988
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
12
1987
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
4
1985
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
Origins of recursive function theory. Zbl 0998.03501
Kleene, Stephen C.
11
1981
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
6
1981
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038
Kleene, S. C.; Vesley, R. E.
2
1978
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
The work of Kurt Gödel. Zbl 0366.02001
Kleene, Stephen C.
1
1977
Realizability: A retrospective survey. Zbl 0272.02036
Kleene, S. C.
5
1973
Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001
Kleene, Stephen Cole
2
1973
Logique mathématique. Zbl 0209.00801
Kleene, S. C.
1
1971
Formalized recursive functionals and formalized realizability. Zbl 0184.02004
Kleene, S. C.
23
1969
Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701
Kleene, S. C.
2
1968
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
145
1967
The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601
Kleene, S. C.; Vesley, R. E.
96
1965
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
6
1965
Logical calculus and realizability. Zbl 0133.25201
Kleene, S. C.
1
1965
Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302
Kleene, S. C.
24
1963
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
17
1963
Turing-machine computable functionals of finite types. II. Zbl 0192.05306
Kleene, S. C.
5
1962
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
3
1962
Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903
Kleene, S. C.
2
1962
Lambda-definable functionals of finite types. Zbl 0100.25001
Kleene, S. C.
1
1962
Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903
Kleene, S.
2
1960
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
65
1959
Countable functionals. Zbl 0100.24901
Kleene, S. C.
25
1959
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
5
1959
Realizability. Zbl 0088.24901
Kleene, S. C.
2
1959
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
23
1958
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
16
1958
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
Automata studies. Zbl 0074.11204
Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M.
19
1956
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
61
1955
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
60
1955
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
32
1955
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
92
1954
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
753
1952
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
32
1952
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
15
1952
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
3
1952
A symmetric form of Gödel’s theorem. Zbl 0038.03101
Kleene, S. C.
9
1950
On the intuitionistic logic. Zbl 0034.15401
Kleene, S. C.
1
1949
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
88
1945
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
58
1944
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
64
1943
A postulational basis for probability. Zbl 0021.14504
Evans, H. P.; Kleene, S. C.
1
1939
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
125
1938
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
38
1938
Formal definitions in the theory of ordinal numbers. Zbl 0016.00201
Church, Alonzo; Kleene, S. C.
14
1937
Formal definitions in the theory of ordinal numbers. JFM 63.0029.02
Church, A.; Kleene, S. C.
5
1937
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
66
1936
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
31
1936
A note on recursive functions. Zbl 0015.05002
Kleene, S. C.
10
1936
General recursive functions of natural numbers. JFM 62.0044.02
Kleene, S. C.
8
1936
\(\lambda\)-definability and recursiveness. JFM 62.0045.02
Kleene, S. C.
7
1936
A note on recursive functions. JFM 62.0045.01
Kleene, S. C.
1
1936
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
19
1935
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
7
1935
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
6
1935
The inconsistency of certain formal logics. JFM 61.0056.04
Kleene, S. C.; Rosser, J. B.
3
1935
A theory of positive integers in formal logic. I. JFM 61.0055.02
Kleene, S. C.
1
1935
A theory of positive integers in formal logic. II. JFM 61.0056.01
Kleene, S. C.
1
1935
The inconsistency of certain formal logics. JFM 61.0062.10
Rosser, J. B.; Kleene, S. C.
1
1935
Proof by cases in formal logic. Zbl 0010.14602
Kleene, S. C.
5
1934
all top 5

Cited by 1,504 Authors

18 Mints, Grigoriĭ Efroimovich
16 Petrukhin, Yaroslav Igorevich
14 Shore, Richard Arnold
13 Moschovakis, Joan Rand
12 Lambek, Joachim
11 Feferman, Solomon
11 Jain, Sanjay
11 Slaman, Theodore A.
10 Barendregt, Hendrik Pieter
10 Bergstra, Jan A.
10 Dubois, Didier
10 Moschovakis, Yiannis Nicholas
10 Putnam, Hilary Whitehall
9 Kleene, Stephen Cole
9 Kohlenbach, Ulrich Wilhelm
9 Normann, Dag
9 Sacks, Gerald Enoch
9 Shönfield, Joseph R.
9 Veldman, Wim
8 Arieli, Ofer
8 Konovalov, Aleksandr Yur’evich
8 Kreisel, Georg
7 Avron, Arnon
7 Béziau, Jean-Yves
7 Case, John
7 Constable, Robert Lee
7 Da Costa, Newton Carneiro Affonso
7 Lawry, Jonathan
7 Ponse, Alban
7 Shangin, Vasily
7 Soare, Robert I.
7 Terwijn, Sebastiaan A.
7 Zucker, Jeffery I.
6 Ciucci, Davide
6 Denecker, Marc
6 Gilmore, Paul C.
6 Lewis, Alain A.
6 Marchenkov, Sergeĭ Serafimovich
6 Orevkov, V. P.
6 Pelletier, Francis Jeffry
6 Sanders, Sam
6 Scott, Philip J.
6 Stephan, Frank
6 Zaslavskii, Igor Dmitrievich
5 Artemov, Sergei
5 Bauer, Andrej
5 Beall, Jc
5 Bogaerts, Bart
5 Cenzer, Douglas
5 Crossley, John Newsome
5 Downey, Rodney Graham
5 Francez, Nissim
5 Leivant, Daniel M.
5 Montalbán, Antonio
5 Pynko, Alexej P.
5 Simpson, Stephen G.
5 Tanaka, Hisao
5 Troelstra, Anne Sjerp
5 Vesley, Richard E.
5 Walsh, Sean
4 Ambainis, Andris
4 Beeson, Michael J.
4 Belyakin, N. V.
4 Chernov, V. P.
4 Colson, Loïc
4 Dekker, Jacob C. E.
4 DuBose, Derrick Albert
4 Ferguson, Thomas Macaulay
4 Fitting, Melvin Chris
4 Fokkink, Willem Jan
4 Gurevich, Yuri
4 Hájek, Petr
4 Harper, Robert
4 Hazen, Allen P.
4 Japaridze, Giorgi
4 Kalantari, Iraj
4 Kanamori, Akihiro
4 Kechris, Alexander S.
4 Kent, Clement F.
4 Khomich, V. I.
4 Konikowska, Beata
4 Kuyper, Rutger
4 Liu, Shih-Chao
4 Miller, Joseph S.
4 Miquel, Alexandre
4 Muravitsky, Alexei Yu.
4 Plisko, Valery
4 Prade, Henri M.
4 Rathjen, Michael
4 Robles, Gemma
4 Rogers, Hartley jun.
4 Rosser, John Barkley
4 Scarpellini, Bruno
4 Scowcroft, Philip
4 Sieg, Wilfried
4 Soskova, Mariya Ivanova
4 Szmuc, Damian Enrique
4 Tucker, John V.
4 Vennekens, Joost
4 Willard, Dan E.
...and 1,404 more Authors
all top 5

Cited in 181 Serials

160 The Journal of Symbolic Logic
149 Theoretical Computer Science
110 Annals of Pure and Applied Logic
65 Studia Logica
53 Transactions of the American Mathematical Society
41 The Bulletin of Symbolic Logic
40 Archiv für Mathematische Logik und Grundlagenforschung
36 Archive for Mathematical Logic
35 Journal of Applied Non-Classical Logics
31 Journal of Philosophical Logic
31 Proceedings of the American Mathematical Society
30 History and Philosophy of Logic
28 Journal of Soviet Mathematics
27 Journal of Computer and System Sciences
26 Information and Computation
23 The Review of Symbolic Logic
19 MSCS. Mathematical Structures in Computer Science
18 Synthese
16 Algebra and Logic
15 Notre Dame Journal of Formal Logic
15 International Journal of Approximate Reasoning
14 Logica Universalis
13 Information Sciences
12 Artificial Intelligence
12 Mathematical Notes
12 Compositio Mathematica
12 Logic and Logical Philosophy
12 Journal of Applied Logic
11 Information Processing Letters
10 Fuzzy Sets and Systems
10 Siberian Mathematical Journal
10 Mathematical Logic Quarterly (MLQ)
10 Proceedings of the Japan Academy
9 Algebra Universalis
9 Applied Mathematics and Computation
9 Mathematische Annalen
9 Journal of Automated Reasoning
9 Bulletin of the American Mathematical Society
8 Acta Informatica
8 Journal of Pure and Applied Algebra
8 Kybernetika
8 Indagationes Mathematicae. New Series
8 Journal of Mathematical Sciences (New York)
8 Logical Methods in Computer Science
8 Computability
7 Advances in Mathematics
7 Formal Aspects of Computing
6 International Journal of General Systems
6 Israel Journal of Mathematics
6 Mathematical Social Sciences
6 Journal of Logic, Language and Information
5 Moscow University Mathematics Bulletin
5 The Mathematical Intelligencer
5 Mathematical Systems Theory
5 Annals of Mathematics and Artificial Intelligence
4 Discrete Mathematics
4 BIT
4 Tohoku Mathematical Journal. Second Series
4 Bulletin of the Section of Logic
4 Cybernetics and Systems Analysis
4 Journal of Functional Programming
4 Theory of Computing Systems
4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
4 Erkenntnis
4 The Journal of Logic and Algebraic Programming
4 Theory and Practice of Logic Programming
4 Foundations of Physics
4 New Mathematics and Natural Computation
4 Journal of Logical and Algebraic Methods in Programming
3 Computers & Mathematics with Applications
3 Moscow University Computational Mathematics and Cybernetics
3 Cybernetics
3 Journal of Symbolic Computation
3 International Journal of Algebra and Computation
3 International Journal of Computer Mathematics
3 Linear Algebra and its Applications
3 Bulletin of the American Mathematical Society. New Series
3 Formal Methods in System Design
3 Journal of Mathematical Logic
3 Lobachevskii Journal of Mathematics
3
2 Acta Mathematica Academiae Scientiarum Hungaricae
2 Journal of Mathematical Analysis and Applications
2 Chaos, Solitons and Fractals
2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
2 Automatica
2 Bulletin de la Société Mathématique de France
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Computing
2 International Journal of Computer & Information Sciences
2 Mathematische Nachrichten
2 Mathematische Zeitschrift
2 Nagoya Mathematical Journal
2 Programming and Computer Software
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Science of Computer Programming
2 Journal of the American Mathematical Society
2 International Journal of Foundations of Computer Science
2 European Journal of Operational Research
2 Historia Mathematica
...and 81 more Serials
all top 5

Cited in 46 Fields

1,175 Mathematical logic and foundations (03-XX)
476 Computer science (68-XX)
66 History and biography (01-XX)
48 Category theory; homological algebra (18-XX)
42 Order, lattices, ordered algebraic structures (06-XX)
29 General and overarching topics; collections (00-XX)
28 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
27 General algebraic systems (08-XX)
20 General topology (54-XX)
17 Quantum theory (81-XX)
11 Combinatorics (05-XX)
11 Group theory and generalizations (20-XX)
10 Systems theory; control (93-XX)
9 Information and communication theory, circuits (94-XX)
8 Real functions (26-XX)
7 Dynamical systems and ergodic theory (37-XX)
7 Probability theory and stochastic processes (60-XX)
7 Biology and other natural sciences (92-XX)
5 Number theory (11-XX)
5 Algebraic topology (55-XX)
5 Operations research, mathematical programming (90-XX)
4 Field theory and polynomials (12-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
4 Associative rings and algebras (16-XX)
4 Measure and integration (28-XX)
4 Operator theory (47-XX)
4 Geometry (51-XX)
4 Statistics (62-XX)
3 Commutative algebra (13-XX)
3 Ordinary differential equations (34-XX)
2 Topological groups, Lie groups (22-XX)
2 Sequences, series, summability (40-XX)
2 Functional analysis (46-XX)
2 Numerical analysis (65-XX)
2 Mechanics of particles and systems (70-XX)
2 Relativity and gravitational theory (83-XX)
1 Nonassociative rings and algebras (17-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Abstract harmonic analysis (43-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of deformable solids (74-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.