×

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: 6 Co-Authors with 13 Joint Publications
19 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 2,223 times in 1,658 Documents Cited by Year
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
772
1952
Mathematical logic. Zbl 0149.24309
Kleene, Stephen Cole
147
1967
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
130
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.
97
1965
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
94
1945
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
93
1954
Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301
Kleene, S. C.
69
1959
General recursive functions of natural numbers. Zbl 0014.19402
Kleene, S. C.
67
1936
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
65
1943
On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203
Kleene, S. C.
61
1955
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
60
1944
Hierarchies of numer-theoretic predicates. Zbl 0066.25901
Kleene, S. C.
60
1955
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
41
1938
Arithmetical predicates and function quantifiers. Zbl 0066.25703
Kleene, S. C.
34
1955
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
33
1952
\(\lambda\)-definability and recursiveness. Zbl 0014.38505
Kleene, S. C.
31
1936
Countable functionals. Zbl 0100.24901
Kleene, S. C.
25
1959
Quantification of number-theoretic functions. Zbl 0085.24701
Kleene, S. C.
24
1958
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
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.
20
1956
Introduction to metamathematics. 9th repr. Zbl 0875.03002
Kleene, S. C.
20
1988
The inconsistency of certain formal logics. Zbl 0012.14602
Kleene, S. C.; Rosser, J. B.
19
1935
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
17
1958
Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502
Kleene, S. C.
17
1963
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
16
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.
10
1950
A theory of positive integers in formal logic. II. Zbl 0011.24103
Kleene, S. C.
8
1935
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.
8
1936
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
1935
The theory of recursive functions, approaching its centennial. Zbl 0486.03023
Kleene, S. C.
6
1981
A note on function quantification. Zbl 0084.24901
Addison, J. W.; Kleene, S. C.
6
1957
Classical extensions of intuitionistic mathematics. Zbl 0192.03002
Kleene, S. C.
6
1965
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
Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002
Kleene, Stephen Cole
5
2002
Introduction to metamathematics. 3rd edition. Zbl 0109.00509
Kleene, S. C.
5
1959
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
Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015
Kleene, S. C.
4
1985
Recursive functions and intuitionistic mathematics. Zbl 0049.15001
Kleene, S. C.
3
1952
The inconsistency of certain formal logics. JFM 61.0056.04
Kleene, S. C.; Rosser, J. B.
3
1935
Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027
Kleene, S. C.
3
1982
Turing-machine computable functionals of finite types. I. Zbl 0192.05305
Kleene, S. C.
3
1962
Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048
Kleene, S. C.
2
1980
Realizability. Zbl 0088.24901
Kleene, S. C.
2
1959
Origins of recursive function theory. Zbl 0565.03002
Kleene, S. C.
2
1982
Turing’s analysis of computability, and major applications of it. Zbl 0655.03027
Kleene, Stephen C.
2
1988
Algorithms in various contexts. Zbl 0583.68007
Kleene, S. C.
2
1982
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
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
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
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
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
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
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.
20
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
147
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.
97
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.
69
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.
24
1958
Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602
Kleene, S. C.
17
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.
20
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.
34
1955
The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703
Kleene, S. C.; Post, Emil L.
93
1954
Introduction to metamathematics. Zbl 0047.00703
Kleene, S. C.
772
1952
Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002
Kleene, S. C.
33
1952
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001
Kleene, S. C.
16
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.
10
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.
94
1945
On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003
Kleene, S. C.
60
1944
Recursive predicates and quantifiers. Zbl 0063.03259
Kleene, S. C.
65
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.
130
1938
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C.
41
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.
67
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.
8
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.
8
1935
A theory of positive integers in formal logic. I. Zbl 0011.00202
Kleene, S. C.
7
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,550 Authors

18 Mints, Grigoriĭ Efroimovich
16 Petrukhin, Yaroslav Igorevich
14 Shore, Richard Arnold
13 Moschovakis, Joan Rand
12 Lambek, Joachim
11 Bergstra, Jan A.
11 Feferman, Solomon
11 Jain, Sanjay
11 Slaman, Theodore A.
10 Barendregt, Hendrik Pieter
10 Dubois, Didier
10 Moschovakis, Yiannis Nicholas
10 Normann, Dag
10 Putnam, Hilary Whitehall
9 Kleene, Stephen Cole
9 Kohlenbach, Ulrich Wilhelm
9 Sacks, Gerald Enoch
9 Shönfield, Joseph R.
9 Veldman, Wim
8 Arieli, Ofer
8 Konovalov, Aleksandr Yur’evich
8 Kreisel, Georg
8 Sanders, Sam
7 Avron, Arnon
7 Béziau, Jean-Yves
7 Case, John
7 Constable, Robert Lee
7 Da Costa, Newton Carneiro Affonso
7 Denecker, Marc
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 Downey, Rodney Graham
6 Francez, Nissim
6 Gilmore, Paul C.
6 Lewis, Alain A.
6 Marchenkov, Sergeĭ Serafimovich
6 Orevkov, V. P.
6 Pelletier, Francis Jeffry
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 Leivant, Daniel M.
5 Montalbán, Antonio
5 Pynko, Alexej P.
5 Simpson, Stephen G.
5 Tanaka, Hisao
5 Troelstra, Anne Sjerp
5 Tucker, John V.
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 Szałas, Andrzej
4 Szmuc, Damian Enrique
4 Vennekens, Joost
...and 1,450 more Authors
all top 5

Cited in 185 Serials

161 The Journal of Symbolic Logic
151 Theoretical Computer Science
110 Annals of Pure and Applied Logic
65 Studia Logica
54 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
34 Journal of Philosophical Logic
31 Proceedings of the American Mathematical Society
31 History and Philosophy of Logic
28 Journal of Soviet Mathematics
28 Information and Computation
27 Journal of Computer and System Sciences
24 The Review of Symbolic Logic
20 MSCS. Mathematical Structures in Computer Science
18 Synthese
17 Artificial Intelligence
16 Algebra and Logic
15 Notre Dame Journal of Formal Logic
15 International Journal of Approximate Reasoning
15 Logica Universalis
13 Information Sciences
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 Journal of Automated Reasoning
10 Mathematical Logic Quarterly (MLQ)
10 Proceedings of the Japan Academy
10 Logical Methods in Computer Science
9 Algebra Universalis
9 Applied Mathematics and Computation
9 Mathematische Annalen
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 Computability
7 Advances in Mathematics
7 Formal Aspects of Computing
6 International Journal of General Systems
6 Israel Journal of Mathematics
6 The Mathematical Intelligencer
6 Mathematical Social Sciences
6 Journal of Logic, Language and Information
6 Journal of Logical and Algebraic Methods in Programming
5 Moscow University Mathematics Bulletin
5 Mathematical Systems Theory
5 Annals of Mathematics and Artificial Intelligence
5 Theory and Practice of Logic Programming
4 Discrete Mathematics
4 BIT
4 Tôhoku 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 Foundations of Physics
4 New Mathematics and Natural Computation
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 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal
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 85 more Serials
all top 5

Cited in 46 Fields

1,205 Mathematical logic and foundations (03-XX)
499 Computer science (68-XX)
68 History and biography (01-XX)
49 Category theory; homological algebra (18-XX)
44 Order, lattices, ordered algebraic structures (06-XX)
30 General and overarching topics; collections (00-XX)
29 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
28 General algebraic systems (08-XX)
21 General topology (54-XX)
17 Quantum theory (81-XX)
12 Combinatorics (05-XX)
12 Group theory and generalizations (20-XX)
10 Systems theory; control (93-XX)
10 Information and communication theory, circuits (94-XX)
8 Real functions (26-XX)
7 Dynamical systems and ergodic theory (37-XX)
7 Biology and other natural sciences (92-XX)
6 Probability theory and stochastic processes (60-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 Topological groups, Lie groups (22-XX)
3 Ordinary differential equations (34-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.