×

Goodstein, Reuben Louis

Compute Distance To:
Author ID: goodstein.r-louis Recent zbMATH articles by "Goodstein, Reuben 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

Publications by Year

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.02306
Goodstein, R. L.
24
1944
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401
Goodstein, R. L.
20
1957
The solution of equations in a lattice. Zbl 0153.33304
Goodstein, R. L.
19
1967
Recursive analysis. Zbl 0217.30202
Goodstein, R. L.
19
1961
Function theory in an axiom-free equation calculus. Zbl 0060.02307
Goodstein, R. L.
11
1945
Hilbert’s tenth problem and the independence of recursive difference. Zbl 0324.02031
Goodstein, R. L.
7
1975
Transfinite ordinals in recursvie number theory. Zbl 0030.00401
Goodstein, R. L.
5
1947
Complex functions. A first course in the theory of functions of a single complex variable. Zbl 0138.05402
Goodstein, R. L.
4
1965
The recursive irrationality of \(\pi\). Zbl 0058.24903
Goodstein, R. L.
4
1954
Essays in the philosophy of mathematics. Zbl 0144.24301
Goodstein, R. L.
2
1965
Mean value theorems in recursive theory. I. Differential mean value theorems. Zbl 0041.34701
Goodstein, R. L.
2
1950
Constructive formalism. Essays on the foundations of mathematics. Zbl 0045.15004
Goodstein, R. L.
2
1951
The relatively exponential, logarithmic and circular functions in recursive function theory. Zbl 0058.25001
Goodstein, R. L.
2
1954
A constructivist theory of plane curves. Zbl 0070.01002
Goodstein, R. L.
2
1956
On the nature of mathematical systems. Zbl 0091.01301
Goodstein, R. L.
2
1958
On the formalisation of indirect discourse. Zbl 0125.27803
Goodstein, R. L.
1
1959
Diophantine equations in recursive difference. Zbl 0149.28804
Goodstein, R. L.
1
1964
Free variable axioms for groups. Zbl 0167.28701
Goodstein, R. L.
1
1968
The discriminant of a certain polynomial. Zbl 0167.31203
Goodstein, R. L.
1
1969
Axiomatic projective geometry. Zbl 0173.22501
Goodstein, R. L.; Primrose, E. J. F.
1
1962
A constructive form of the second Gauss proof of the fundamental theorem of algebra. Zbl 0181.01302
Goodstein, R. L.
1
1969
Recursive analysis. Zbl 0217.30301
Goodstein, R. L.
1
1970
Thomas Arthur Alan Broadbent. Zbl 0267.01020
Goodstein, R. L.
1
1973
The strong convergence of the exponential function. Zbl 0029.25302
Goodstein, R. L.
1
1947
The convergence of iterative processes. Zbl 0029.39303
Goodstein, R. L.; Broadbent, T. A. A.
1
1947
A text-book of mathematical calculus. The uniform calculus and its applications. Zbl 0031.15506
Goodstein, R. L.
1
1948
On the evaluation of Planck’s integral. Zbl 0036.03201
Goodstein, R. L.
1
1949
The foundations of mathematics. Zbl 0045.00103
Goodstein, R. L.
1
1951
Axiomatic projective geometry. Zbl 0051.37606
Goodstein, R. L.; Primrose, E. J. F.
1
1953
Logic-free formalisations of recursive arithmetic. Zbl 0058.24902
Goodstein, R. L.
1
1954
A theorem in uniform convergence. Zbl 0060.14312
Goodstein, R. L.
1
1946
Mathematical logic. Zbl 0077.01201
Goodstein, R. L.
1
1957
Recursive analysis. Zbl 0088.25002
Goodstein, R. L.
1
1959
Boolean algebra. Zbl 0106.24202
Goodstein, R. L.
1
1963
Hilbert’s tenth problem and the independence of recursive difference. Zbl 0324.02031
Goodstein, R. L.
7
1975
Thomas Arthur Alan Broadbent. Zbl 0267.01020
Goodstein, R. L.
1
1973
Recursive analysis. Zbl 0217.30301
Goodstein, R. L.
1
1970
The discriminant of a certain polynomial. Zbl 0167.31203
Goodstein, R. L.
1
1969
A constructive form of the second Gauss proof of the fundamental theorem of algebra. Zbl 0181.01302
Goodstein, R. L.
1
1969
Free variable axioms for groups. Zbl 0167.28701
Goodstein, R. L.
1
1968
The solution of equations in a lattice. Zbl 0153.33304
Goodstein, R. L.
19
1967
Complex functions. A first course in the theory of functions of a single complex variable. Zbl 0138.05402
Goodstein, R. L.
4
1965
Essays in the philosophy of mathematics. Zbl 0144.24301
Goodstein, R. L.
2
1965
Diophantine equations in recursive difference. Zbl 0149.28804
Goodstein, R. L.
1
1964
Boolean algebra. Zbl 0106.24202
Goodstein, R. L.
1
1963
Axiomatic projective geometry. Zbl 0173.22501
Goodstein, R. L.; Primrose, E. J. F.
1
1962
Recursive analysis. Zbl 0217.30202
Goodstein, R. L.
19
1961
On the formalisation of indirect discourse. Zbl 0125.27803
Goodstein, R. L.
1
1959
Recursive analysis. Zbl 0088.25002
Goodstein, R. L.
1
1959
On the nature of mathematical systems. Zbl 0091.01301
Goodstein, R. L.
2
1958
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401
Goodstein, R. L.
20
1957
Mathematical logic. Zbl 0077.01201
Goodstein, R. L.
1
1957
A constructivist theory of plane curves. Zbl 0070.01002
Goodstein, R. L.
2
1956
The recursive irrationality of \(\pi\). Zbl 0058.24903
Goodstein, R. L.
4
1954
The relatively exponential, logarithmic and circular functions in recursive function theory. Zbl 0058.25001
Goodstein, R. L.
2
1954
Logic-free formalisations of recursive arithmetic. Zbl 0058.24902
Goodstein, R. L.
1
1954
Axiomatic projective geometry. Zbl 0051.37606
Goodstein, R. L.; Primrose, E. J. F.
1
1953
Constructive formalism. Essays on the foundations of mathematics. Zbl 0045.15004
Goodstein, R. L.
2
1951
The foundations of mathematics. Zbl 0045.00103
Goodstein, R. L.
1
1951
Mean value theorems in recursive theory. I. Differential mean value theorems. Zbl 0041.34701
Goodstein, R. L.
2
1950
On the evaluation of Planck’s integral. Zbl 0036.03201
Goodstein, R. L.
1
1949
A text-book of mathematical calculus. The uniform calculus and its applications. Zbl 0031.15506
Goodstein, R. L.
1
1948
Transfinite ordinals in recursvie number theory. Zbl 0030.00401
Goodstein, R. L.
5
1947
The strong convergence of the exponential function. Zbl 0029.25302
Goodstein, R. L.
1
1947
The convergence of iterative processes. Zbl 0029.39303
Goodstein, R. L.; Broadbent, T. A. A.
1
1947
A theorem in uniform convergence. Zbl 0060.14312
Goodstein, R. L.
1
1946
Function theory in an axiom-free equation calculus. Zbl 0060.02307
Goodstein, R. L.
11
1945
On the restricted ordinal theorem. Zbl 0060.02306
Goodstein, R. L.
24
1944
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

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.