Edit Profile (opens in new tab) Kreisel, Georg (b. 1923 d. 2015) Co-Author Distance 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 7 Further Contributions Reviewing Activity: 75 Reviews Biographic References: 16 Publications Co-Authors: 23 Co-Authors with 29 Joint Publications 437 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 Hintikka, Jaakko 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 Belnap, Nuel D. jun. 1 Benacerraf, Paul 1 Beth, Evert Willem 1 Bocheński, Józef Maria 1 Böhm, Corrado 1 Boolos, George S. 1 Brouwer, Luitzen Egbertus Jan 1 Carnap, Rudolf 1 Casari, Ettore 1 Castro Perelman, Carlos 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 Hermes, Hans 1 Heyting, Arend 1 Hilbert, David 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 Mostowski, Andrzej Stanisław 1 Orey, Steven 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 1 Sommers, Fred 1 Stalnaker, Robert C. 1 Stavi, Jonathan 1 Surma, Stanislaw J. 1 van Fraassen, Bas C. 1 von Neumann, John 1 von Wright, Georg Henrik 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 51 Mathematical logic and foundations (03-XX) 7 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 84 Publications have been cited 1,078 times in 810 Documents Cited by ▼ Year ▼ Proof theory. 2nd ed. Zbl 0609.03019 Takeuti, Gaisi 162 1987 Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001 Kreisel, Georg 74 1959 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701 Kreisel, Georg 66 1952 On the interpretation of non-finitist proofs. I. Zbl 0044.00302 Kreisel, Georg 61 1951 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302 Kreisel, Georg; Levy, A. 60 1968 Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101 Kreisel, Georg; Troelstra, A. S. 53 1970 Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702 Kreisel, Georg; Putnam, H. 47 1957 On weak completeness of intuitionistic predicate logic. Zbl 0117.01005 Kreisel, Georg 40 1963 Elements of mathematical logic (model theory). Zbl 0155.33801 Kreisel, Georg; Krivine, J. L. 39 1967 Mathematical logic. Zbl 0147.24703 Kreisel, Georg 35 1965 A survey of proof theory. Zbl 0177.01002 Kreisel, Georg 34 1968 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 30 1966 Partial recursive functionals and effective operations. Zbl 0178.32201 Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 28 1959 Foundations of intuitionistic logic. Zbl 0133.24801 Kreisel, Georg 22 1962 Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038 Feferman, S.; Kreisel, Georg 21 1966 Mathematical significance of consistency proofs. Zbl 0088.01502 Kreisel, Georg 21 1959 Metarecursive sets. Zbl 0156.25203 Kreisel, Georg; Sacks, Gerald E. 18 1965 A survey of proof theory. II. Zbl 0227.02013 Kreisel, Georg 18 1971 Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401 Kreisel, Georg 18 1959 Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027 Kreisel, Georg; Takeuti, G. 17 1974 Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508 Kreisel, Georg 17 1960 Surface waves. Zbl 0032.32204 Kreisel, Georg 17 1949 A notion of mechanistic theory. Zbl 0307.02028 Kreisel, Georg 16 1974 Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001 Kreisel, Georg 16 1970 Lawless sequences of natural numbers. Zbl 0157.33401 Kreisel, Georg 16 1968 The philosophy of mathematics. Reprints. Zbl 0181.29501 Hintikka, J. 15 1969 Number theoretic concepts and recursive well-orderings. Zbl 0129.00402 Kreisel, Georg; Shoenfield, J.; Wang, H. 14 1961 The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802 Kreisel, Georg 14 1962 Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703 Kreisel, Georg; Krivine, J. L. 13 1967 Some reasons for generalizing recursion theory. Zbl 0219.02027 Kreisel, Georg 12 1971 Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302 Kreisel, Georg 11 1950 The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003 Kreisel, Georg; Mints, G. E.; Simpson, S. G. 10 1975 La prédicativité. Zbl 0131.00604 Kreisel, Georg 10 1960 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 10 1961 Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901 Kreisel, Georg 10 1970 On a problem of Henkin’s. Zbl 0053.00601 Kreisel, Georg 10 1953 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 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 Two notes on the foundations of set-theory. Zbl 0255.02002 Kreisel, Georg 8 1969 Church’s thesis and the ideal of informal rigour. Zbl 0646.03001 Kreisel, Georg 8 1987 Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601 Kreisel, Georg 8 1959 A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101 Kreisel, Georg 8 1959 Constructive logic versus algebraization. I. Zbl 0522.03046 Kreisel, Georg; Macintyre, Angus J. 7 1982 On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601 Kreisel, Georg 7 1953 Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048 Kreisel, Georg 6 1972 Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024 Kreisel, Georg 6 1977 Mathematical interpretation of formal systems. Zbl 0066.00902 Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy 6 1955 Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051 Kreisel, Georg 5 1981 Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603 5 1967 Effective operations and partial recursive functionals. Zbl 0201.33007 Kreisel, Georg; LaCombe, D.; Shoenfield, J. 5 1960 Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045 Kreisel, Georg 5 1982 Some concepts concerning formal systems of number theory. Zbl 0048.24702 Kreisel, Georg 5 1952 Hilbert’s Programme. Zbl 0090.01004 Kreisel, Georg 4 1958 Models, translations and interpretations. Zbl 0068.24503 Kreisel, Georg 4 1955 Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702 Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. 4 1957 Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506 Kreisel, Georg; Tait, W. W. 4 1961 1-consistency and faithful interpretations. Zbl 0122.24502 Feferman, S.; Kreisel, Georg; Orey, S. 4 1962 Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024 Baaz, Matthias; Pudlák, Pavel 3 1993 Some uses of proof theory for finding computer programs. Zbl 0439.03044 Kreisel, Georg 3 1977 Strong models of arithmetic. Zbl 0137.00703 Ehrenfeucht, A.; Kreisel, Georg 3 1966 Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis. Zbl 0188.32203 Kreisel, Georg 3 1969 Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040 Kreisel, Georg 3 1965 The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603 Kreisel, Georg 3 1970 Non-uniqueness results for transfinite progressions. Zbl 0211.31301 Kreisel, Georg 3 1960 Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040 Baaz, Matthias; Wojtylak, Piotr 3 2008 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 Sums of squares. Zbl 0201.33202 Kreisel, Georg 2 1960 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. 2 1972 What have we learnt from Hilbert’s second problem? Zbl 0366.02018 Kreisel, Georg 2 1976 Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004 Kreisel, Georg 2 1953 “Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007 Kreisel, Georg 1 1976 Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068 Kreisel, Georg 1 1979 From foundations to science: Justifying and unwinding proofs. Zbl 0414.03033 Kreisel, Georg 1 1977 Functions, ordinals, species. Zbl 0187.26501 Kreisel, Georg 1 1968 Hilbert’s programme and the search for automatic proof procedures. Zbl 0206.27701 Kreisel, Georg 1 1970 Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603 Kreisel, Georg 1 1960 Observation on popular discussions of foundations. Zbl 0215.31803 Kreisel, Georg 1 1971 Proof theory and the synthesis of programs: Potential and limitations. Zbl 0574.03044 Kreisel, Georg 1 1985 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 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 162 1987 Church’s thesis and the ideal of informal rigour. Zbl 0646.03001 Kreisel, Georg 8 1987 Proof theory and the synthesis of programs: Potential and limitations. Zbl 0574.03044 Kreisel, Georg 1 1985 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Constructive logic versus algebraization. I. Zbl 0522.03046 Kreisel, Georg; Macintyre, Angus J. 7 1982 Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045 Kreisel, Georg 5 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 Some uses of proof theory for finding computer programs. Zbl 0439.03044 Kreisel, Georg 3 1977 From foundations to science: Justifying and unwinding proofs. Zbl 0414.03033 Kreisel, Georg 1 1977 A notion of mechanistic theory. Zbl 0335.02031 Kreisel, Georg 2 1976 What have we learnt from Hilbert’s second problem? Zbl 0366.02018 Kreisel, Georg 2 1976 “Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007 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. 10 1975 Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027 Kreisel, Georg; Takeuti, G. 17 1974 A notion of mechanistic theory. Zbl 0307.02028 Kreisel, Georg 16 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. 2 1972 A survey of proof theory. II. Zbl 0227.02013 Kreisel, Georg 18 1971 Some reasons for generalizing recursion theory. Zbl 0219.02027 Kreisel, Georg 12 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 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. 53 1970 Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001 Kreisel, Georg 16 1970 Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901 Kreisel, Georg 10 1970 The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603 Kreisel, Georg 3 1970 Hilbert’s programme and the search for automatic proof procedures. Zbl 0206.27701 Kreisel, Georg 1 1970 The philosophy of mathematics. Reprints. Zbl 0181.29501 Hintikka, J. 15 1969 Two notes on the foundations of set-theory. Zbl 0255.02002 Kreisel, Georg 8 1969 Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis. Zbl 0188.32203 Kreisel, Georg 3 1969 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302 Kreisel, Georg; Levy, A. 60 1968 A survey of proof theory. Zbl 0177.01002 Kreisel, Georg 34 1968 Lawless sequences of natural numbers. Zbl 0157.33401 Kreisel, Georg 16 1968 Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003 Kreisel, Georg 2 1968 Functions, ordinals, species. Zbl 0187.26501 Kreisel, Georg 1 1968 Elements of mathematical logic (model theory). Zbl 0155.33801 Kreisel, Georg; Krivine, J. L. 39 1967 Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703 Kreisel, Georg; Krivine, J. L. 13 1967 Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603 5 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 30 1966 Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038 Feferman, S.; Kreisel, Georg 21 1966 Strong models of arithmetic. Zbl 0137.00703 Ehrenfeucht, A.; Kreisel, Georg 3 1966 Mathematical logic. Zbl 0147.24703 Kreisel, Georg 35 1965 Metarecursive sets. Zbl 0156.25203 Kreisel, Georg; Sacks, Gerald E. 18 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 40 1963 Foundations of intuitionistic logic. Zbl 0133.24801 Kreisel, Georg 22 1962 The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802 Kreisel, Georg 14 1962 1-consistency and faithful interpretations. Zbl 0122.24502 Feferman, S.; Kreisel, Georg; Orey, S. 4 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 10 1961 Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506 Kreisel, Georg; Tait, W. W. 4 1961 Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508 Kreisel, Georg 17 1960 La prédicativité. Zbl 0131.00604 Kreisel, Georg 10 1960 Effective operations and partial recursive functionals. Zbl 0201.33007 Kreisel, Georg; LaCombe, D.; Shoenfield, J. 5 1960 Non-uniqueness results for transfinite progressions. Zbl 0211.31301 Kreisel, Georg 3 1960 Sums of squares. Zbl 0201.33202 Kreisel, Georg 2 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 74 1959 Partial recursive functionals and effective operations. Zbl 0178.32201 Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. 28 1959 Mathematical significance of consistency proofs. Zbl 0088.01502 Kreisel, Georg 21 1959 Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401 Kreisel, Georg 18 1959 Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601 Kreisel, Georg 8 1959 A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101 Kreisel, Georg 8 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. 47 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. 4 1957 Some applications of formalized consistency proofs. Zbl 0067.25201 Kreisel, Georg; Wang, Hao 9 1955 Mathematical interpretation of formal systems. Zbl 0066.00902 Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy 6 1955 Models, translations and interpretations. Zbl 0068.24503 Kreisel, Georg 4 1955 On a problem of Henkin’s. Zbl 0053.00601 Kreisel, Georg 10 1953 On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601 Kreisel, Georg 7 1953 Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004 Kreisel, Georg 2 1953 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701 Kreisel, Georg 66 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 61 1951 Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302 Kreisel, Georg 11 1950 Surface waves. Zbl 0032.32204 Kreisel, Georg 17 1949 all cited Publications top 5 cited Publications all top 5 Cited by 705 Authors 20 Kohlenbach, Ulrich Wilhelm 14 Mints, Grigoriĭ Efroimovich 13 Beklemishev, Lev D. 13 Feferman, Solomon 12 Kreisel, Georg 9 Kurahashi, Taishi 9 Leivant, Daniel M. 9 Rathjen, Michael 8 Berger, Ulrich 7 Friedman, Harvey M. 7 Halbach, Volker 7 Kawai, Tatsuji 7 Visser, Albert 6 Coquand, Thierry 6 Dean, Walter 6 Freund, Anton 6 Leuştean, Laurenţiu 6 Miglioli, Pierangelo 6 Moschovakis, Joan Rand 6 Oliva, Paulo 6 Pour-El, Marian Boykan 6 Sacks, Gerald Enoch 6 Schwichtenberg, Helmut 6 Simpson, Stephen G. 5 Cooper, Stuart Barry 5 Fujiwara, Makoto 5 Matiyasevich, Yuriĭ Vladimirovich 5 Pakhomov, Fedor N. 5 Shapiro, Stewart 5 Ziegler, Martin 4 Constable, Robert Lee 4 Doria, Francisco Antonio 4 Hennicker, Rolf 4 Howard, William Alvin 4 Kikuchi, Makoto 4 Kirst, Dominik 4 Makowsky, Johann-Andreas 4 Prawitz, Dag 4 Rahli, Vincent 4 Richards, Ian 4 Sanders, Sam 4 Sieg, Wilfried 4 Sipoş, Andrei 4 Spreen, Dieter 4 Troelstra, Anne Sjerp 4 Tucker, John V. 4 Veldman, Wim 4 Weiermann, Andreas 3 Aschieri, Federico 3 Avigad, Jeremy 3 Beggs, Edwin J. 3 Berardi, Stefano 3 Bezem, Marc 3 Bickford, Mark 3 Bidoit, Michel 3 Brattka, Vasco 3 Cantini, Andrea 3 Clote, Peter G. 3 Cohen, Liron 3 Cordón-Franco, Andrés 3 Crosilla, Laura 3 Da Costa, Newton Carneiro Affonso 3 Dal Lago, Ugo 3 de Jongh, Dick H. J. 3 Dinis, Bruno 3 Downey, Rodney Graham 3 Ferrari, Mauro 3 Ferreira, Gilda 3 Franks, Curtis 3 Frittaion, Emanuele 3 Gerhardy, Philipp 3 Hofmann, Martin 3 Ilik, Danko 3 Kahle, Reinhard 3 Kalantari, Iraj 3 Kleene, Stephen Cole 3 Kolmakov, Evgeny A. 3 Kripke, Saul A. 3 Krivine, Jean-Louis 3 Kurokawa, Hidenori 3 Lara-Martín, Francisco Felix 3 Lee, Gyesik 3 Luckhardt, Horst 3 Macintyre, Angus John 3 Moschovakis, Yiannis Nicholas 3 Picollo, Lavinia María 3 Salehi, Saeed 3 Ščedrov, Andrej 3 Schroeder-Heister, Peter Joseph 3 Steinberg, Florian 3 Tait, William Walker 3 Thies, Holger 3 Towsner, Henry 3 Van den Berg, Benno 3 Wainer, Stanley Scott 3 Welch, Lawrence V. 3 Willard, Dan E. 3 Zakharyaschev, Michael Viktorovich 3 Zucker, Jeffery I. 2 Aehlig, Klaus ...and 605 more Authors all top 5 Cited in 119 Serials 112 Annals of Pure and Applied Logic 70 The Journal of Symbolic Logic 35 Theoretical Computer Science 30 Studia Logica 27 Archive for Mathematical Logic 24 Journal of Philosophical Logic 23 Synthese 21 Archiv für Mathematische Logik und Grundlagenforschung 21 Transactions of the American Mathematical Society 18 The Bulletin of Symbolic Logic 14 Information and Computation 13 Notre Dame Journal of Formal Logic 12 The Review of Symbolic Logic 11 Mathematical Logic Quarterly (MLQ) 11 Logical Methods in Computer Science 10 Advances in Mathematics 10 Compositio Mathematica 9 Journal of Soviet Mathematics 9 History and Philosophy of Logic 8 Journal of Computer and System Sciences 8 Mathematical Structures in Computer Science 8 Bulletin of the American Mathematical Society 7 Proceedings of the American Mathematical Society 6 Applied Mathematics and Computation 6 Journal of Symbolic Computation 6 Indagationes Mathematicae. New Series 5 Wave Motion 5 Publications of the Research Institute for Mathematical Sciences, Kyoto University 5 Topoi 5 Logica Universalis 4 Algebra Universalis 4 Theory of Computing Systems 4 Erkenntnis 3 Israel Journal of Mathematics 3 The Mathematical Intelligencer 3 Algebra and Logic 3 Journal of Algebra 3 Mathematische Annalen 3 Doklady Mathematics 3 Journal of Mathematical Logic 3 Proceedings of the Japan Academy 3 Journal of Logic and Analysis 2 Artificial Intelligence 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 Journal of Pure and Applied Algebra 2 Mathematische Zeitschrift 2 Ergodic Theory and Dynamical Systems 2 Journal of Automated Reasoning 2 Applied Mathematical Modelling 2 Journal of Logic, Language and Information 2 Journal of Functional Programming 2 Documenta Mathematica 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Communications in Contemporary Mathematics 2 Logic and Logical Philosophy 2 Annali della Scuola Normale Superiore di Pisa. Scienze Fisiche e Matematiche. III. Ser 2 Proceedings of the Steklov Institute of Mathematics 1 Discrete Mathematics 1 International Journal of Engineering Science 1 International Journal of Theoretical Physics 1 Journal d’Analyse Mathématique 1 Journal of Fluid Mechanics 1 Mathematical Methods in the Applied Sciences 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Rocky Mountain Journal of Mathematics 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 Combinatorial Theory. Series B 1 Journal of Computational and Applied Mathematics 1 Journal of Mathematical Psychology 1 Journal of Optimization Theory and Applications 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 Tôhoku 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 Mathematical and Computer Modelling 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Topology Proceedings 1 Combinatorics, Probability and Computing 1 Journal of Mathematical Sciences (New York) 1 Izvestiya: Mathematics ...and 19 more Serials all top 5 Cited in 44 Fields 681 Mathematical logic and foundations (03-XX) 159 Computer science (68-XX) 42 History and biography (01-XX) 29 General and overarching topics; collections (00-XX) 22 Operator theory (47-XX) 17 Fluid mechanics (76-XX) 15 Number theory (11-XX) 13 Category theory; homological algebra (18-XX) 13 General topology (54-XX) 12 Field theory and polynomials (12-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 10 Quantum theory (81-XX) 9 Combinatorics (05-XX) 8 General algebraic systems (08-XX) 7 Measure and integration (28-XX) 7 Partial differential equations (35-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Real functions (26-XX) 5 Algebraic geometry (14-XX) 5 Geophysics (86-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Commutative algebra (13-XX) 3 Sequences, series, summability (40-XX) 3 Functional analysis (46-XX) 3 Numerical analysis (65-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 2 Mechanics of deformable solids (74-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-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 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-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.