Edit Profile (opens in new tab) Goodstein, Reuben Louis Compute Distance To: Compute Author ID: goodstein.r-louis Published as: Goodstein, R. L.; Goodstein, R. Louis External Links: MacTutor · MGP · Wikidata · GND · IdRef Documents Indexed: 90 Publications since 1938, including 16 Books 1 Further Contribution Biographic References: 3 Publications Co-Authors: 4 Co-Authors with 6 Joint Publications 8 Co-Co-Authors all top 5 Co-Authors 83 single-authored 2 Broadbent, T. A. A. 2 Primrose, E. J. F. 1 Breitkopf, Alfred 1 Heyting, Arend 1 Hooley, John 1 Körner, Stephan 1 Kummer, Ernst Eduard 1 Laugwitz, Detlef 1 Lorenzen, Paul 1 Meschkowski, Herbert 1 Rumney, Max 1 Schwabhäuser, Wolfram 1 Steiner, Hans-Georg 1 Zuse, Konrad all top 5 Serials 30 The Mathematical Gazette 5 The Journal of Symbolic Logic 5 Mathematica Scandinavica 4 Notre Dame Journal of Formal Logic 4 Journal of the London Mathematical Society 4 Mind. New Series 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Dialectica 2 Proceedings of the London Mathematical Society. Second Series 2 Studies in Logic and the Foundations of Mathematics 2 The Edinburgh Mathematical Notes 1 Revue Roumaine de Mathématiques Pures et Appliquées 1 Acta Mathematica 1 American Journal of Mathematics 1 Bulletin of the London Mathematical Society 1 Compositio Mathematica 1 Fundamenta Mathematicae 1 Journal of the London Mathematical Society. Second Series 1 Transactions of the American Mathematical Society 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics all top 5 Fields 13 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 Number theory (11-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 34 Publications have been cited 144 times in 117 Documents Cited by ▼ Year ▼ On the restricted ordinal theorem. Zbl 0060.02306Goodstein, R. L. 24 1944 Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401Goodstein, R. L. 20 1957 The solution of equations in a lattice. Zbl 0153.33304Goodstein, R. L. 19 1967 Recursive analysis. Zbl 0217.30202Goodstein, R. L. 19 1961 Function theory in an axiom-free equation calculus. Zbl 0060.02307Goodstein, R. L. 11 1945 Hilbert’s tenth problem and the independence of recursive difference. Zbl 0324.02031Goodstein, R. L. 7 1975 Transfinite ordinals in recursvie number theory. Zbl 0030.00401Goodstein, R. L. 5 1947 Complex functions. A first course in the theory of functions of a single complex variable. Zbl 0138.05402Goodstein, R. L. 4 1965 The recursive irrationality of \(\pi\). Zbl 0058.24903Goodstein, R. L. 4 1954 Essays in the philosophy of mathematics. Zbl 0144.24301Goodstein, R. L. 2 1965 Mean value theorems in recursive theory. I. Differential mean value theorems. Zbl 0041.34701Goodstein, R. L. 2 1950 Constructive formalism. Essays on the foundations of mathematics. Zbl 0045.15004Goodstein, R. L. 2 1951 The relatively exponential, logarithmic and circular functions in recursive function theory. Zbl 0058.25001Goodstein, R. L. 2 1954 A constructivist theory of plane curves. Zbl 0070.01002Goodstein, R. L. 2 1956 On the nature of mathematical systems. Zbl 0091.01301Goodstein, R. L. 2 1958 On the formalisation of indirect discourse. Zbl 0125.27803Goodstein, R. L. 1 1959 Diophantine equations in recursive difference. Zbl 0149.28804Goodstein, R. L. 1 1964 Free variable axioms for groups. Zbl 0167.28701Goodstein, R. L. 1 1968 The discriminant of a certain polynomial. Zbl 0167.31203Goodstein, R. L. 1 1969 Axiomatic projective geometry. Zbl 0173.22501Goodstein, R. L.; Primrose, E. J. F. 1 1962 A constructive form of the second Gauss proof of the fundamental theorem of algebra. Zbl 0181.01302Goodstein, R. L. 1 1969 Recursive analysis. Zbl 0217.30301Goodstein, R. L. 1 1970 Thomas Arthur Alan Broadbent. Zbl 0267.01020Goodstein, R. L. 1 1973 The strong convergence of the exponential function. Zbl 0029.25302Goodstein, R. L. 1 1947 The convergence of iterative processes. Zbl 0029.39303Goodstein, R. L.; Broadbent, T. A. A. 1 1947 A text-book of mathematical calculus. The uniform calculus and its applications. Zbl 0031.15506Goodstein, R. L. 1 1948 On the evaluation of Planck’s integral. Zbl 0036.03201Goodstein, R. L. 1 1949 The foundations of mathematics. Zbl 0045.00103Goodstein, R. L. 1 1951 Axiomatic projective geometry. Zbl 0051.37606Goodstein, R. L.; Primrose, E. J. F. 1 1953 Logic-free formalisations of recursive arithmetic. Zbl 0058.24902Goodstein, R. L. 1 1954 A theorem in uniform convergence. Zbl 0060.14312Goodstein, R. L. 1 1946 Mathematical logic. Zbl 0077.01201Goodstein, R. L. 1 1957 Recursive analysis. Zbl 0088.25002Goodstein, R. L. 1 1959 Boolean algebra. Zbl 0106.24202Goodstein, R. L. 1 1963 Hilbert’s tenth problem and the independence of recursive difference. Zbl 0324.02031Goodstein, R. L. 7 1975 Thomas Arthur Alan Broadbent. Zbl 0267.01020Goodstein, R. L. 1 1973 Recursive analysis. Zbl 0217.30301Goodstein, R. L. 1 1970 The discriminant of a certain polynomial. Zbl 0167.31203Goodstein, R. L. 1 1969 A constructive form of the second Gauss proof of the fundamental theorem of algebra. Zbl 0181.01302Goodstein, R. L. 1 1969 Free variable axioms for groups. Zbl 0167.28701Goodstein, R. L. 1 1968 The solution of equations in a lattice. Zbl 0153.33304Goodstein, R. L. 19 1967 Complex functions. A first course in the theory of functions of a single complex variable. Zbl 0138.05402Goodstein, R. L. 4 1965 Essays in the philosophy of mathematics. Zbl 0144.24301Goodstein, R. L. 2 1965 Diophantine equations in recursive difference. Zbl 0149.28804Goodstein, R. L. 1 1964 Boolean algebra. Zbl 0106.24202Goodstein, R. L. 1 1963 Axiomatic projective geometry. Zbl 0173.22501Goodstein, R. L.; Primrose, E. J. F. 1 1962 Recursive analysis. Zbl 0217.30202Goodstein, R. L. 19 1961 On the formalisation of indirect discourse. Zbl 0125.27803Goodstein, R. L. 1 1959 Recursive analysis. Zbl 0088.25002Goodstein, R. L. 1 1959 On the nature of mathematical systems. Zbl 0091.01301Goodstein, R. L. 2 1958 Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401Goodstein, R. L. 20 1957 Mathematical logic. Zbl 0077.01201Goodstein, R. L. 1 1957 A constructivist theory of plane curves. Zbl 0070.01002Goodstein, R. L. 2 1956 The recursive irrationality of \(\pi\). Zbl 0058.24903Goodstein, R. L. 4 1954 The relatively exponential, logarithmic and circular functions in recursive function theory. Zbl 0058.25001Goodstein, R. L. 2 1954 Logic-free formalisations of recursive arithmetic. Zbl 0058.24902Goodstein, R. L. 1 1954 Axiomatic projective geometry. Zbl 0051.37606Goodstein, R. L.; Primrose, E. J. F. 1 1953 Constructive formalism. Essays on the foundations of mathematics. Zbl 0045.15004Goodstein, R. L. 2 1951 The foundations of mathematics. Zbl 0045.00103Goodstein, R. L. 1 1951 Mean value theorems in recursive theory. I. Differential mean value theorems. Zbl 0041.34701Goodstein, R. L. 2 1950 On the evaluation of Planck’s integral. Zbl 0036.03201Goodstein, R. L. 1 1949 A text-book of mathematical calculus. The uniform calculus and its applications. Zbl 0031.15506Goodstein, R. L. 1 1948 Transfinite ordinals in recursvie number theory. Zbl 0030.00401Goodstein, R. L. 5 1947 The strong convergence of the exponential function. Zbl 0029.25302Goodstein, R. L. 1 1947 The convergence of iterative processes. Zbl 0029.39303Goodstein, R. L.; Broadbent, T. A. A. 1 1947 A theorem in uniform convergence. Zbl 0060.14312Goodstein, R. L. 1 1946 Function theory in an axiom-free equation calculus. Zbl 0060.02307Goodstein, R. L. 11 1945 On the restricted ordinal theorem. Zbl 0060.02306Goodstein, R. L. 24 1944 all cited Publications top 5 cited Publications all top 5 Cited by 133 Authors 16 Couceiro, Miguel 6 Waldhauser, Tamás 5 Kalantari, Iraj 5 Marichal, Jean-Luc 5 Welch, Lawrence V. 4 Sidharth, Burra Gautam 3 Lehtonen, Erkko 3 Shanin, Nikolaĭ Aleksandrovich 3 Weiermann, Andreas 2 Arai, Toshiyasu 2 Brabant, Quentin 2 Dantsin, E. Ya. 2 Ganghoffer, Jean-François 2 Gnang, Edinah K. 2 Goodstein, Reuben Louis 2 Incurvati, Luca 2 Loebl, Martin 2 Meschkowski, Herbert 2 von Plato, Jan 2 Wainer, Stanley Scott 2 Wilken, Gunnar 2 Zaslavskii, Igor Dmitrievich 1 Aaronson, Scott 1 Antar, Basil N. 1 Barendsen, Erik 1 Beck, Jon M. 1 Behrisch, Mike 1 Bell, Jonathan 1 Bezem, Marc 1 Birla, B. M. 1 Blanchette, Jasmin Christian 1 Bochernikov, V. Ya. 1 Bonanno, Giacomo 1 Boyer, Robert S. 1 Brychkov, Yury A. 1 Burch, Brent D. 1 Caldarola, Fabio 1 Cardin, Marta 1 Carl, Merlin 1 Cegielski, Patrick 1 Chen, Qingliang 1 Cleave, John P. 1 Cockett, J. Robin B. 1 Cook, William John 1 Coullard, Collette R. 1 Czajko, Jakub 1 d’Atri, Gianfranco 1 Day, Adam R. 1 De Smet, Michiel 1 Devlin, Patrick 1 Diacu, Florin Nicolae 1 Downey, Rodney Graham 1 Dubois, Didier 1 Eggleston, H. G. 1 Fahmi, M. H. 1 Feki, Firas 1 Fernández Duque, David 1 Ferreira, Fernando 1 Figueira, José Rui 1 Fleischer, Rudolf 1 Fleury, Mathias 1 Gallier, Jean H. 1 Ganea, Mihai 1 Hoare, Graham T. Q. 1 Hooshmand, Mohammad Hadi 1 Horváth, Eszter K. 1 Joosten, Joost J. 1 Kanovei, Vladimir G. 1 Katz, Mikhail G. 1 Kearnes, Keith A. 1 Klev, Ansten Mørch 1 Ko, Ker-I 1 Kouznetsov, Dmitrii 1 Krzyzanski, Wojciech 1 Kushner, Boris A. 1 Labhalla, Salah 1 Lafont, Yves 1 Lefton, Phyllis 1 Legato, Wilfred J. 1 Leonardis, Antonino 1 Lethen, Tim 1 Lombardi, Henri 1 Lucich, Peter 1 Marek, V. Wiktor 1 Marichev, Oleg Igorevich 1 Marion, Mathieu 1 Maróti, Miklós 1 Mayoh, Brian H. 1 Middeldorp, Aart 1 Mormann, Thomas 1 Moutai, E. 1 Nešetřil, Jaroslav 1 Odifreddi, Piergiorgio 1 Okada, Mitsuhiro 1 Orevkov, V. P. 1 Pakhomov, S. V. 1 Päppinghaus, Peter 1 Penrose, Roger 1 Plotkin, Boris 1 Porter, Michelle ...and 33 more Authors all top 5 Cited in 63 Serials 10 Annals of Pure and Applied Logic 7 Journal of Soviet Mathematics 5 Fuzzy Sets and Systems 4 The Bulletin of Symbolic Logic 3 Archiv für Mathematische Logik und Grundlagenforschung 3 International Journal of Theoretical Physics 3 Journal of Pure and Applied Algebra 3 Synthese 3 Theoretical Computer Science 3 Order 3 Aequationes Mathematicae 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 The Mathematical Gazette 2 The Mathematical Intelligencer 2 Acta Mathematica 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 European Journal of Combinatorics 2 Journal of Mathematical Sciences (New York) 2 Theory of Computing Systems 1 International Journal of Solids and Structures 1 Information Processing Letters 1 Journal d’Analyse Mathématique 1 Journal of Computational Physics 1 Mathematical Biosciences 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Acta Scientiarum Mathematicarum 1 Algebra Universalis 1 Applied Mathematics and Computation 1 Journal of Computer and System Sciences 1 The Journal of Mathematical Sociology 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Mathematische Zeitschrift 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Siberian Mathematical Journal 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Advances in Applied Mathematics 1 Statistics & Probability Letters 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Journal of the Ramanujan Mathematical Society 1 Economics Letters 1 International Journal of Foundations of Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Archive for Mathematical Logic 1 Continuum Mechanics and Thermodynamics 1 Diagrammes 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Difference Equations and Applications 1 NTM. Neue Serie 1 Erkenntnis 1 Foundations of Science 1 International Studies in the Philosophy of Science 1 Foundations of Physics Letters 1 Foundations of Physics 1 Bulletin of the American Mathematical Society 1 International Electronic Journal of Algebra (IEJA) 1 The Review of Symbolic Logic 1 Computability all top 5 Cited in 34 Fields 59 Mathematical logic and foundations (03-XX) 20 Computer science (68-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 General and overarching topics; collections (00-XX) 8 History and biography (01-XX) 7 Number theory (11-XX) 7 Measure and integration (28-XX) 6 Real functions (26-XX) 6 Difference and functional equations (39-XX) 5 General topology (54-XX) 5 Relativity and gravitational theory (83-XX) 5 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 4 General algebraic systems (08-XX) 4 Quantum theory (81-XX) 3 Category theory; homological algebra (18-XX) 3 Functions of a complex variable (30-XX) 3 Special functions (33-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Numerical analysis (65-XX) 2 Mechanics of particles and systems (70-XX) 2 Mechanics of deformable solids (74-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Integral transforms, operational calculus (44-XX) 1 Functional analysis (46-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-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.