Edit Profile (opens in new tab) Kreisel, Georg Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 72 single-authored 5 Wang, Hao 4 Krivine, Jean-Louis 4 Lacombe, Daniel 4 Shönfield, Joseph R. 3 Feferman, Solomon 3 Takeuti, Gaisi 2 Baaz, Matthias 2 Bernays, Paul 2 Macintyre, Angus John 2 Putnam, Hilary Whitehall 2 Robinson, Abraham 2 Simpson, Stephen G. 2 Tait, William Walker 2 Troelstra, Anne Sjerp 1 Agazzi, Evandro 1 Ayer, A. J. 1 Barwise, Kenneth Jon 1 Belnap, Nuel D. jun. 1 Benacerraf, Paul 1 Bocheński, Józef Maria 1 Boolos, George S. 1 Brouwer, Luitzen Egbertus Jan 1 Carnap, Rudolf 1 Casari, Ettore 1 Curry, Haskell Brooks 1 Dalla Chiara, Maria Luisa 1 Dummett, Michael Anthony Eardley 1 Easley, J. A. jun. 1 Ehrenfeucht, Andrzej 1 Fenstad, Jens Erik 1 Frege, Gottlob 1 Gandy, Robin O. 1 Gödel, Kurt 1 Hasenjaeger, Gisbert 1 Hempel, Carl Gustav 1 Henkin, Leon Albert 1 Heyting, Arend 1 Hilbert, David 1 Hintikka, Jaakko 1 Howard, William Alvin 1 Körner, Stephan 1 Lakatos, Imre 1 Lejewski, Czesław 1 Levy, Azriel 1 Łoś, Jerzy 1 Massey, Gerald J. 1 Mints, Grigoriĭ Efroimovich 1 Orey, Steven 1 Perelman, C. 1 Pohlers, Wolfram 1 Poincaré, Henri 1 Pudlák, Pavel 1 Quine, Willard Van Orman 1 Reyes, Gonzalo E. 1 Russell, Bertrand 1 Sacks, Gerald Enoch 1 Schütte, Kurt 1 Skolem, Thoralf Albert 1 Sommers, Fred 1 Stalnaker, Robert C. 1 Stavi, Jonathan 1 van Fraassen, Bas C. 1 von Neumann, John 1 Wojtylak, Piotr all top 5 Serials 10 The Journal of Symbolic Logic 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Fundamenta Mathematicae 4 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 3 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 2 The Mathematical Gazette 2 Compositio Mathematica 2 Dialectica 2 Synthese 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Annals of Pure and Applied Logic 2 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Paris 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Uspekhi Matematicheskikh Nauk [N. S.] 1 Acta Philosophica Fennica 1 Annals of Mathematical Logic 1 The British Journal for the Philosophy of Science 1 Bulletin de la Société Mathématique de France 1 Dissertationes Mathematicae 1 Logique et Analyse. Nouvelle Série 1 Mathematische Zeitschrift 1 Notre Dame Journal of Formal Logic 1 Quarterly of Applied Mathematics 1 Reports on Mathematical Logic 1 Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 1 Bulletin of the American Mathematical Society 1 Studies in Logic and the Foundations of Mathematics 1 Synthese Library all top 5 Fields 50 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 2 Number theory (11-XX) 2 Computer science (68-XX) 1 Category theory; homological algebra (18-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 76 Publications have been cited 933 times in 625 Documents Cited by ▼ Year ▼ Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 64 1987 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302Kreisel, Georg; Levy, A. 53 1968 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 53 1952 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, 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.01101Kreisel, Georg; Troelstra, A. S. 44 1970 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702Kreisel, Georg; Putnam, H. 41 1957 Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001Kreisel, Georg 30 1959 On weak completeness of intuitionistic predicate logic. Zbl 0117.01005Kreisel, Georg 29 1963 A survey of proof theory. Zbl 0177.01002Kreisel, Georg 29 1968 Elements of mathematical logic (model theory). Zbl 0155.33801Kreisel, 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.00804Howard, W. A.; Kreisel, Georg 26 1966 Mathematical logic. Zbl 0147.24703Kreisel, Georg 22 1965 Partial recursive functionals and effective operations. Zbl 0178.32201Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 20 1959 Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038Feferman, S.; Kreisel, Georg 19 1966 Metarecursive sets. Zbl 0156.25203Kreisel, Georg; Sacks, Gerald E. 19 1965 Mathematical significance of consistency proofs. Zbl 0088.01502Kreisel, Georg 18 1959 Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401Kreisel, Georg 17 1959 A notion of mechanistic theory. Zbl 0307.02028Kreisel, Georg 14 1974 Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027Kreisel, Georg; Takeuti, G. 14 1974 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 Surface waves. Zbl 0032.32204Kreisel, Georg 13 1949 The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802Kreisel, Georg 12 1962 Lawless sequences of natural numbers. Zbl 0157.33401Kreisel, Georg 12 1968 Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001Kreisel, Georg 11 1970 Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703Kreisel, Georg; Krivine, J. L. 10 1967 Set existence. I, II. Zbl 0207.30102Gandy, R. O.; Kreisel, Georg; Tait, W. W. 10 1961 Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302Kreisel, Georg 10 1950 Some applications of formalized consistency proofs. Zbl 0067.25201Kreisel, Georg; Wang, Hao 9 1955 Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901Kreisel, Georg; Lacombe, Daniel 9 1957 The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003Kreisel, Georg; Mints, G. E.; Simpson, S. G. 8 1975 Foundations of intuitionistic logic. Zbl 0133.24801Kreisel, Georg 8 1962 Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401Kreisel, Georg 8 1961 Some reasons for generalizing recursion theory. Zbl 0219.02027Kreisel, Georg 8 1971 Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037Kreisel, Georg; Krivine, J. L. 8 1971 A survey of proof theory. II. Zbl 0227.02013Kreisel, Georg 8 1971 La prédicativité. Zbl 0131.00604Kreisel, Georg 7 1960 On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601Kreisel, Georg 7 1953 Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024Kreisel, Georg 6 1977 Two notes on the foundations of set-theory. Zbl 0255.02002Kreisel, Georg 6 1969 Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048Kreisel, Georg 6 1972 Church’s thesis and the ideal of informal rigour. Zbl 0646.03001Kreisel, Georg 6 1987 On a problem of Henkin’s. Zbl 0053.00601Kreisel, Georg 6 1953 Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601Kreisel, Georg 6 1959 A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101Kreisel, Georg 6 1959 Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051Kreisel, Georg 5 1981 Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901Kreisel, Georg 5 1970 Some concepts concerning formal systems of number theory. Zbl 0048.24702Kreisel, Georg 5 1952 Constructive logic versus algebraization. I. Zbl 0522.03046Kreisel, Georg; Macintyre, Angus J. 4 1982 Effective operations and partial recursive functionals. Zbl 0201.33007Kreisel, Georg; LaCombe, D.; Shoenfield, J. 4 1960 Hilbert’s Programme. Zbl 0090.01004Kreisel, 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.03040Baaz, Matthias; Wojtylak, Piotr 3 2008 Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024Baaz, Matthias; Pudlák, Pavel 3 1993 Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506Kreisel, Georg; Tait, W. W. 3 1961 1-consistency and faithful interpretations. Zbl 0122.24502Feferman, S.; Kreisel, Georg; Orey, S. 3 1962 Strong models of arithmetic. Zbl 0137.00703Ehrenfeucht, A.; Kreisel, Georg 3 1966 Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508Kreisel, Georg 3 1960 Non-uniqueness results for transfinite progressions. Zbl 0211.31301Kreisel, Georg 3 1960 Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040Kreisel, Georg 3 1965 Models, translations and interpretations. Zbl 0068.24503Kreisel, Georg 3 1955 Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702Kreisel, 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.03045Kreisel, Georg 2 1982 A notion of mechanistic theory. Zbl 0335.02031Kreisel, Georg 2 1976 Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003Kreisel, Georg 2 1968 The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603Kreisel, Georg 2 1970 On the idea(l) of logical closure. Zbl 0767.03005Kreisel, G. 1 1992 Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004Kreisel, Georg 1 2011 Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068Kreisel, Georg 1 1979 “Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007Kreisel, Georg 1 1976 What have we learnt from Hilbert’s second problem? Zbl 0366.02018Kreisel, Georg 1 1976 Observation on popular discussions of foundations. Zbl 0215.31803Kreisel, Georg 1 1971 Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003Kreisel, Georg; Krivine, J.-L. 1 1972 Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004Kreisel, Georg 1 1953 Mathematical interpretation of formal systems. Zbl 0066.00902Skolem, 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.00603Kreisel, Georg 1 1960 Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004Kreisel, Georg 1 2011 Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040Baaz, Matthias; Wojtylak, Piotr 3 2008 Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024Baaz, Matthias; Pudlák, Pavel 3 1993 On the idea(l) of logical closure. Zbl 0767.03005Kreisel, G. 1 1992 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 64 1987 Church’s thesis and the ideal of informal rigour. Zbl 0646.03001Kreisel, Georg 6 1987 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 48 1983 Constructive logic versus algebraization. I. Zbl 0522.03046Kreisel, Georg; Macintyre, Angus J. 4 1982 Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045Kreisel, Georg 2 1982 Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051Kreisel, Georg 5 1981 Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068Kreisel, Georg 1 1979 Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024Kreisel, Georg 6 1977 A notion of mechanistic theory. Zbl 0335.02031Kreisel, Georg 2 1976 “Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007Kreisel, Georg 1 1976 What have we learnt from Hilbert’s second problem? Zbl 0366.02018Kreisel, Georg 1 1976 The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003Kreisel, Georg; Mints, G. E.; Simpson, S. G. 8 1975 A notion of mechanistic theory. Zbl 0307.02028Kreisel, Georg 14 1974 Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027Kreisel, Georg; Takeuti, G. 14 1974 Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048Kreisel, Georg 6 1972 Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003Kreisel, Georg; Krivine, J.-L. 1 1972 Some reasons for generalizing recursion theory. Zbl 0219.02027Kreisel, Georg 8 1971 Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037Kreisel, Georg; Krivine, J. L. 8 1971 A survey of proof theory. II. Zbl 0227.02013Kreisel, Georg 8 1971 Observation on popular discussions of foundations. Zbl 0215.31803Kreisel, Georg 1 1971 Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101Kreisel, Georg; Troelstra, A. S. 44 1970 Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001Kreisel, Georg 11 1970 Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901Kreisel, Georg 5 1970 The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603Kreisel, Georg 2 1970 Two notes on the foundations of set-theory. Zbl 0255.02002Kreisel, Georg 6 1969 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302Kreisel, Georg; Levy, A. 53 1968 A survey of proof theory. Zbl 0177.01002Kreisel, Georg 29 1968 Lawless sequences of natural numbers. Zbl 0157.33401Kreisel, Georg 12 1968 Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003Kreisel, Georg 2 1968 Elements of mathematical logic (model theory). Zbl 0155.33801Kreisel, Georg; Krivine, J. L. 29 1967 Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703Kreisel, 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.00804Howard, W. A.; Kreisel, Georg 26 1966 Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038Feferman, S.; Kreisel, Georg 19 1966 Strong models of arithmetic. Zbl 0137.00703Ehrenfeucht, A.; Kreisel, Georg 3 1966 Mathematical logic. Zbl 0147.24703Kreisel, Georg 22 1965 Metarecursive sets. Zbl 0156.25203Kreisel, Georg; Sacks, Gerald E. 19 1965 Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040Kreisel, Georg 3 1965 On weak completeness of intuitionistic predicate logic. Zbl 0117.01005Kreisel, Georg 29 1963 The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802Kreisel, Georg 12 1962 Foundations of intuitionistic logic. Zbl 0133.24801Kreisel, Georg 8 1962 1-consistency and faithful interpretations. Zbl 0122.24502Feferman, S.; Kreisel, Georg; Orey, S. 3 1962 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 Set existence. I, II. Zbl 0207.30102Gandy, R. O.; Kreisel, Georg; Tait, W. W. 10 1961 Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401Kreisel, Georg 8 1961 Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506Kreisel, Georg; Tait, W. W. 3 1961 La prédicativité. Zbl 0131.00604Kreisel, Georg 7 1960 Effective operations and partial recursive functionals. Zbl 0201.33007Kreisel, Georg; LaCombe, D.; Shoenfield, J. 4 1960 Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508Kreisel, Georg 3 1960 Non-uniqueness results for transfinite progressions. Zbl 0211.31301Kreisel, Georg 3 1960 Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603Kreisel, Georg 1 1960 Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001Kreisel, Georg 30 1959 Partial recursive functionals and effective operations. Zbl 0178.32201Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 20 1959 Mathematical significance of consistency proofs. Zbl 0088.01502Kreisel, Georg 18 1959 Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401Kreisel, Georg 17 1959 Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601Kreisel, Georg 6 1959 A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101Kreisel, Georg 6 1959 Hilbert’s Programme. Zbl 0090.01004Kreisel, Georg 4 1958 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702Kreisel, Georg; Putnam, H. 41 1957 Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901Kreisel, Georg; Lacombe, Daniel 9 1957 Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. 3 1957 Some applications of formalized consistency proofs. Zbl 0067.25201Kreisel, Georg; Wang, Hao 9 1955 Models, translations and interpretations. Zbl 0068.24503Kreisel, Georg 3 1955 Mathematical interpretation of formal systems. Zbl 0066.00902Skolem, 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.00601Kreisel, Georg 7 1953 On a problem of Henkin’s. Zbl 0053.00601Kreisel, Georg 6 1953 Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004Kreisel, Georg 1 1953 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 53 1952 Some concepts concerning formal systems of number theory. Zbl 0048.24702Kreisel, Georg 5 1952 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, Georg 51 1951 Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302Kreisel, Georg 10 1950 Surface waves. Zbl 0032.32204Kreisel, Georg 13 1949 all cited Publications top 5 cited Publications 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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.