×
Compute Distance To:
Author ID: kreisel.georg Recent zbMATH articles by "Kreisel, Georg"
Published as: Kreisel, Georg; Kreisel, G.
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 97 Publications since 1949, including 6 Books
6 Further Contributions
Reviewing Activity: 75 Reviews
Biographic References: 15 Publications
Co-Authors: 23 Co-Authors with 29 Joint Publications
436 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

76 Publications have been cited 933 times in 625 Documents Cited by Year
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
64
1987
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A.
53
1968
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
53
1952
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
51
1951
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S.
44
1970
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
41
1957
Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001
Kreisel, Georg
30
1959
On weak completeness of intuitionistic predicate logic. Zbl 0117.01005
Kreisel, Georg
29
1963
A survey of proof theory. Zbl 0177.01002
Kreisel, Georg
29
1968
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L.
29
1967
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. Zbl 0156.00804
Howard, W. A.; Kreisel, Georg
26
1966
Mathematical logic. Zbl 0147.24703
Kreisel, Georg
22
1965
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
20
1959
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg
19
1966
Metarecursive sets. Zbl 0156.25203
Kreisel, Georg; Sacks, Gerald E.
19
1965
Mathematical significance of consistency proofs. Zbl 0088.01502
Kreisel, Georg
18
1959
Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401
Kreisel, Georg
17
1959
A notion of mechanistic theory. Zbl 0307.02028
Kreisel, Georg
14
1974
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G.
14
1974
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Surface waves. Zbl 0032.32204
Kreisel, Georg
13
1949
The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802
Kreisel, Georg
12
1962
Lawless sequences of natural numbers. Zbl 0157.33401
Kreisel, Georg
12
1968
Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001
Kreisel, Georg
11
1970
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L.
10
1967
Set existence. I, II. Zbl 0207.30102
Gandy, R. O.; Kreisel, Georg; Tait, W. W.
10
1961
Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302
Kreisel, Georg
10
1950
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao
9
1955
Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901
Kreisel, Georg; Lacombe, Daniel
9
1957
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G.
8
1975
Foundations of intuitionistic logic. Zbl 0133.24801
Kreisel, Georg
8
1962
Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401
Kreisel, Georg
8
1961
Some reasons for generalizing recursion theory. Zbl 0219.02027
Kreisel, Georg
8
1971
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L.
8
1971
A survey of proof theory. II. Zbl 0227.02013
Kreisel, Georg
8
1971
La prédicativité. Zbl 0131.00604
Kreisel, Georg
7
1960
On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601
Kreisel, Georg
7
1953
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024
Kreisel, Georg
6
1977
Two notes on the foundations of set-theory. Zbl 0255.02002
Kreisel, Georg
6
1969
Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048
Kreisel, Georg
6
1972
Church’s thesis and the ideal of informal rigour. Zbl 0646.03001
Kreisel, Georg
6
1987
On a problem of Henkin’s. Zbl 0053.00601
Kreisel, Georg
6
1953
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601
Kreisel, Georg
6
1959
A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101
Kreisel, Georg
6
1959
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg
5
1981
Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901
Kreisel, Georg
5
1970
Some concepts concerning formal systems of number theory. Zbl 0048.24702
Kreisel, Georg
5
1952
Constructive logic versus algebraization. I. Zbl 0522.03046
Kreisel, Georg; Macintyre, Angus J.
4
1982
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
4
1960
Hilbert’s Programme. Zbl 0090.01004
Kreisel, Georg
4
1958
Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603
4
1967
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel
3
1993
Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506
Kreisel, Georg; Tait, W. W.
3
1961
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S.
3
1962
Strong models of arithmetic. Zbl 0137.00703
Ehrenfeucht, A.; Kreisel, Georg
3
1966
Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508
Kreisel, Georg
3
1960
Non-uniqueness results for transfinite progressions. Zbl 0211.31301
Kreisel, Georg
3
1960
Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040
Kreisel, Georg
3
1965
Models, translations and interpretations. Zbl 0068.24503
Kreisel, Georg
3
1955
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045
Kreisel, Georg
2
1982
A notion of mechanistic theory. Zbl 0335.02031
Kreisel, Georg
2
1976
Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003
Kreisel, Georg
2
1968
The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603
Kreisel, Georg
2
1970
On the idea(l) of logical closure. Zbl 0767.03005
Kreisel, G.
1
1992
Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004
Kreisel, Georg
1
2011
Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068
Kreisel, Georg
1
1979
“Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007
Kreisel, Georg
1
1976
What have we learnt from Hilbert’s second problem? Zbl 0366.02018
Kreisel, Georg
1
1976
Observation on popular discussions of foundations. Zbl 0215.31803
Kreisel, Georg
1
1971
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L.
1
1972
Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004
Kreisel, Georg
1
1953
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy
1
1955
Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603
Kreisel, Georg
1
1960
Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004
Kreisel, Georg
1
2011
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr
3
2008
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel
3
1993
On the idea(l) of logical closure. Zbl 0767.03005
Kreisel, G.
1
1992
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
64
1987
Church’s thesis and the ideal of informal rigour. Zbl 0646.03001
Kreisel, Georg
6
1987
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Constructive logic versus algebraization. I. Zbl 0522.03046
Kreisel, Georg; Macintyre, Angus J.
4
1982
Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045
Kreisel, Georg
2
1982
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg
5
1981
Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068
Kreisel, Georg
1
1979
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024
Kreisel, Georg
6
1977
A notion of mechanistic theory. Zbl 0335.02031
Kreisel, Georg
2
1976
“Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007
Kreisel, Georg
1
1976
What have we learnt from Hilbert’s second problem? Zbl 0366.02018
Kreisel, Georg
1
1976
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G.
8
1975
A notion of mechanistic theory. Zbl 0307.02028
Kreisel, Georg
14
1974
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G.
14
1974
Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048
Kreisel, Georg
6
1972
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L.
1
1972
Some reasons for generalizing recursion theory. Zbl 0219.02027
Kreisel, Georg
8
1971
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L.
8
1971
A survey of proof theory. II. Zbl 0227.02013
Kreisel, Georg
8
1971
Observation on popular discussions of foundations. Zbl 0215.31803
Kreisel, Georg
1
1971
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S.
44
1970
Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001
Kreisel, Georg
11
1970
Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901
Kreisel, Georg
5
1970
The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603
Kreisel, Georg
2
1970
Two notes on the foundations of set-theory. Zbl 0255.02002
Kreisel, Georg
6
1969
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A.
53
1968
A survey of proof theory. Zbl 0177.01002
Kreisel, Georg
29
1968
Lawless sequences of natural numbers. Zbl 0157.33401
Kreisel, Georg
12
1968
Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003
Kreisel, Georg
2
1968
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L.
29
1967
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L.
10
1967
Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603
4
1967
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. Zbl 0156.00804
Howard, W. A.; Kreisel, Georg
26
1966
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg
19
1966
Strong models of arithmetic. Zbl 0137.00703
Ehrenfeucht, A.; Kreisel, Georg
3
1966
Mathematical logic. Zbl 0147.24703
Kreisel, Georg
22
1965
Metarecursive sets. Zbl 0156.25203
Kreisel, Georg; Sacks, Gerald E.
19
1965
Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040
Kreisel, Georg
3
1965
On weak completeness of intuitionistic predicate logic. Zbl 0117.01005
Kreisel, Georg
29
1963
The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802
Kreisel, Georg
12
1962
Foundations of intuitionistic logic. Zbl 0133.24801
Kreisel, Georg
8
1962
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S.
3
1962
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Set existence. I, II. Zbl 0207.30102
Gandy, R. O.; Kreisel, Georg; Tait, W. W.
10
1961
Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401
Kreisel, Georg
8
1961
Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506
Kreisel, Georg; Tait, W. W.
3
1961
La prédicativité. Zbl 0131.00604
Kreisel, Georg
7
1960
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J.
4
1960
Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508
Kreisel, Georg
3
1960
Non-uniqueness results for transfinite progressions. Zbl 0211.31301
Kreisel, Georg
3
1960
Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603
Kreisel, Georg
1
1960
Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001
Kreisel, Georg
30
1959
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R.
20
1959
Mathematical significance of consistency proofs. Zbl 0088.01502
Kreisel, Georg
18
1959
Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401
Kreisel, Georg
17
1959
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601
Kreisel, Georg
6
1959
A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101
Kreisel, Georg
6
1959
Hilbert’s Programme. Zbl 0090.01004
Kreisel, Georg
4
1958
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
41
1957
Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901
Kreisel, Georg; Lacombe, Daniel
9
1957
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R.
3
1957
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao
9
1955
Models, translations and interpretations. Zbl 0068.24503
Kreisel, Georg
3
1955
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy
1
1955
On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601
Kreisel, Georg
7
1953
On a problem of Henkin’s. Zbl 0053.00601
Kreisel, Georg
6
1953
Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004
Kreisel, Georg
1
1953
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
53
1952
Some concepts concerning formal systems of number theory. Zbl 0048.24702
Kreisel, Georg
5
1952
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
51
1951
Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302
Kreisel, Georg
10
1950
Surface waves. Zbl 0032.32204
Kreisel, Georg
13
1949
all top 5

Cited by 557 Authors

19 Kohlenbach, Ulrich Wilhelm
13 Beklemishev, Lev D.
12 Kreisel, Georg
12 Mints, Grigoriĭ Efroimovich
10 Feferman, Solomon
7 Friedman, Harvey M.
7 Kurahashi, Taishi
7 Rathjen, Michael
7 Simpson, Stephen G.
6 Dean, Walter
6 Leivant, Daniel M.
6 Moschovakis, Joan Rand
6 Pour-El, Marian Boykan
6 Sacks, Gerald Enoch
6 Visser, Albert
5 Freund, Anton
5 Kawai, Tatsuji
5 Leuştean, Laurenţiu
5 Miglioli, Pierangelo
5 Schwichtenberg, Helmut
4 Berger, Ulrich
4 Cooper, Stuart Barry
4 Doria, Francisco Antonio
4 Fujiwara, Makoto
4 Halbach, Volker
4 Howard, William Alvin
4 Kikuchi, Makoto
4 Makowsky, Johann-Andreas
4 Richards, Ian
4 Sieg, Wilfried
4 Troelstra, Anne Sjerp
3 Aschieri, Federico
3 Avigad, Jeremy
3 Berardi, Stefano
3 Brattka, Vasco
3 Coquand, Thierry
3 Da Costa, Newton Carneiro Affonso
3 Dal Lago, Ugo
3 Ferrari, Mauro
3 Gerhardy, Philipp
3 Hofmann, Martin
3 Kleene, Stephen Cole
3 Krivine, Jean-Louis
3 Lee, Gyesik
3 Luckhardt, Horst
3 Macintyre, Angus John
3 Matiyasevich, Yuriĭ Vladimirovich
3 Moschovakis, Yiannis Nicholas
3 Oliva, Paulo
3 Pakhomov, Fedor N.
3 Picollo, Lavinia María
3 Salehi, Saeed
3 Sanders, Sam
3 Shapiro, Stewart
3 Spreen, Dieter
3 Towsner, Henry
3 Tucker, John V.
3 Veldman, Wim
3 Wainer, Stanley Scott
3 Weiermann, Andreas
3 Willard, Dan E.
3 Zakharyaschev, Michael Viktorovich
3 Ziegler, Martin
2 Aehlig, Klaus
2 Arai, Toshiyasu
2 Barbanera, Franco
2 Beckmann, Arnold
2 Beggs, Edwin J.
2 Bezem, Marc
2 Bickford, Mark
2 Bidoit, Michel
2 Borzyszkowski, Tomasz
2 Buchholz, Wilfried
2 Caporaso, Salvatore
2 Cenzer, Douglas
2 Çevik, Ahmet Sinan
2 Chagrov, Aleksandr Vasil’evich
2 Chakraborty, Rumpa
2 Chernov, V. P.
2 Ciardelli, Ivano A.
2 Clote, Peter G.
2 Constable, Robert Lee
2 Cordón-Franco, Andrés
2 Crosilla, Laura
2 Crossley, John Newsome
2 de Jongh, Dick H. J.
2 Derakhshan, Jamshid
2 Downey, Rodney Graham
2 Enayat, Ali
2 Fernández Duque, David
2 Franks, Curtis
2 Gabbay, Dov M.
2 Goudsmit, Jeroen P.
2 Greenberg, Noam
2 Hájek, Petr
2 Hayashi, Susumu
2 Hennicker, Rolf
2 Herbelin, Hugo
2 Hertling, Peter H.
2 Hofstra, Pieter J. W.
...and 457 more Authors
all top 5

Cited in 102 Serials

86 Annals of Pure and Applied Logic
67 The Journal of Symbolic Logic
30 Theoretical Computer Science
26 Studia Logica
25 Archive for Mathematical Logic
21 Archiv für Mathematische Logik und Grundlagenforschung
21 Journal of Philosophical Logic
20 Transactions of the American Mathematical Society
17 Synthese
13 Notre Dame Journal of Formal Logic
13 The Bulletin of Symbolic Logic
10 Advances in Mathematics
10 Compositio Mathematica
9 Journal of Soviet Mathematics
9 The Review of Symbolic Logic
8 Journal of Computer and System Sciences
8 Information and Computation
8 Bulletin of the American Mathematical Society
7 Proceedings of the American Mathematical Society
7 MSCS. Mathematical Structures in Computer Science
6 Applied Mathematics and Computation
6 History and Philosophy of Logic
5 Wave Motion
5 Publications of the Research Institute for Mathematical Sciences, Kyoto University
5 Indagationes Mathematicae. New Series
5 Mathematical Logic Quarterly (MLQ)
5 Logical Methods in Computer Science
4 Israel Journal of Mathematics
4 Algebra Universalis
4 Journal of Symbolic Computation
4 Theory of Computing Systems
3 The Mathematical Intelligencer
3 Algebra and Logic
3 Journal of Algebra
3 Mathematische Annalen
3 Erkenntnis
3 Proceedings of the Japan Academy
2 Information Processing Letters
2 Journal of Engineering Mathematics
2 Journal of Mathematical Analysis and Applications
2 Mathematical Notes
2 Bulletin de la Société Mathématique de France
2 Inventiones Mathematicae
2 Journal of Mathematical Economics
2 Mathematische Zeitschrift
2 Ergodic Theory and Dynamical Systems
2 Doklady Mathematics
2 Topoi
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Communications in Contemporary Mathematics
2 Annali della Scuola Normale Superiore di Pisa. Scienze Fisiche e Matematiche. III. Ser
2 Proceedings of the Steklov Institute of Mathematics
2 Logica Universalis
1 Artificial Intelligence
1 Discrete Mathematics
1 International Journal of Theoretical Physics
1 Journal d’Analyse Mathématique
1 Journal of Fluid Mechanics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Russian Mathematical Surveys
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Theoretical and Computational Fluid Dynamics
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Information Sciences
1 Journal of Mathematical Psychology
1 Journal of Pure and Applied Algebra
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Mathematica Slovaca
1 Mathematical Systems Theory
1 Memoirs of the American Mathematical Society
1 Rendiconti del Seminario Matemàtico e Fisico di Milano
1 Semigroup Forum
1 Tohoku Mathematical Journal. Second Series
1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
1 Combinatorica
1 Bulletin of the Iranian Mathematical Society
1 Journal of Complexity
1 Journal of Automated Reasoning
1 Mathematical and Computer Modelling
1 Applied Mathematical Modelling
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Combinatorics, Probability and Computing
1 Journal of Mathematical Sciences (New York)
1 Journal of Functional Programming
1 Documenta Mathematica
1 Soft Computing
1 Chaos
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of the European Mathematical Society (JEMS)
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 The ANZIAM Journal
1 Mathematical Modelling and Analysis
1 Entropy
1 Fixed Point Theory and Applications
1 Journal of Logic and Analysis
...and 2 more Serials
all top 5

Cited in 40 Fields

519 Mathematical logic and foundations (03-XX)
107 Computer science (68-XX)
24 History and biography (01-XX)
19 General and overarching topics; collections (00-XX)
16 Operator theory (47-XX)
13 Fluid mechanics (76-XX)
11 General topology (54-XX)
10 Number theory (11-XX)
10 Category theory; homological algebra (18-XX)
9 Field theory and polynomials (12-XX)
7 Combinatorics (05-XX)
7 Dynamical systems and ergodic theory (37-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
6 General algebraic systems (08-XX)
6 Real functions (26-XX)
5 Partial differential equations (35-XX)
5 Quantum theory (81-XX)
5 Geophysics (86-XX)
4 Measure and integration (28-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Functional analysis (46-XX)
2 Statistics (62-XX)
2 Numerical analysis (65-XX)
2 Mechanics of deformable solids (74-XX)
2 Information and communication theory, circuits (94-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Sequences, series, summability (40-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Abstract harmonic analysis (43-XX)
1 Differential geometry (53-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Biology and other natural sciences (92-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.