Stephen Gershom Simpson
#155,537
Most Influential Person Now
Stephen Gershom Simpson's AcademicInfluence.com Rankings
Stephen Gershom Simpsonphilosophy Degrees
Philosophy
#8787
World Rank
#12234
Historical Rank
Mathematical Logic
#25
World Rank
#39
Historical Rank
Logic
#5805
World Rank
#7245
Historical Rank
Download Badge
Mathematics Philosophy
Stephen Gershom Simpson's Degrees
- PhD Mathematics University of California, Berkeley
- Bachelors Mathematics University of California, Berkeley
Similar Degrees You Can Earn
Why Is Stephen Gershom Simpson Influential?
(Suggest an Edit or Addition)Stephen Gershom Simpson's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Subsystems of second order arithmetic (1999) (1336)
- Countable algebra and set existence axioms (1983) (149)
- Partial realizations of Hilbert's program (1988) (141)
- Nonprovability of Certain Combinatorial Properties of Finite Trees (1985) (138)
- A Dual Form of Ramsey's Theorem (1984) (137)
- Ordinal numbers and the Hilbert basis theorem (1988) (98)
- Mass Problems and Randomness (2005) (87)
- A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis (1982) (85)
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? (1984) (84)
- The α-finite injury method (1972) (79)
- Degrees of Unsolvability: A Survey of Results (1977) (78)
- Measure theory and weak König's lemma (1990) (72)
- First-order theory of the degrees of recursive unsolvabilityl (1977) (69)
- Medvedev degrees of two-dimensional subshifts of finite type (2012) (62)
- Factorization of polynomials and Σ10 induction (1986) (57)
- An extension of the recursively enumerable Turing degrees (2007) (57)
- Logical analysis of some theorems of combinatorics and topological dynamics (1987) (55)
- A degree-theoretic definition of the ramified analytical hierarchy (1976) (51)
- Almost everywhere domination and superhighness (2007) (49)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (1986) (46)
- Located sets and reverse mathematics (2000) (45)
- Almost everywhere domination (2004) (45)
- Schnorr randomness and the Lebesgue differentiation theorem (2013) (42)
- Embeddings into the Medvedev and Muchnik lattices of Π01 classes (2004) (41)
- The use of abstract language in elementary metamathematics: Some pedagogic examples (1975) (40)
- Polynomial time computable arithmetic and conservative extensions (1988) (38)
- Mass Problems and Hyperarithmeticity (2007) (38)
- The Baire category theorem in weak subsystems of second-order arithmetic (1993) (37)
- Topological Ramsey Theory (1990) (37)
- MASS PROBLEMS ASSOCIATED WITH EFFECTIVELY CLOSED SETS (2011) (34)
- Logic and Combinatorics (1987) (32)
- Vitali's Theorem and WWKL (2002) (30)
- The Godel Hierarchy and Reverse Mathematics (2008) (28)
- Reverse Mathematics and Π1 2 Comprehension (2005) (28)
- Friedman's Research on Subsystems of Second Order Arithmetic* (1985) (28)
- Symbolic Dynamics: Entropy = Dimension = Complexity (2015) (28)
- Minimal covers and hyperdegrees (1975) (28)
- Simpson Subsystems of Second Order Arithmetic Second Edition (2006) (27)
- Issues and problems in reverse mathematics (2000) (27)
- On the strength of König's duality theorem for countable bipartite graphs (1994) (26)
- Maximal sets in α-recursion theory (1973) (26)
- Mass problems and almost everywhere domination (2007) (25)
- Kurt Gödel : essays for his centennial (2010) (25)
- Addendum to "countable algebra and set existence axioms" (1985) (24)
- Degree Theory on Admissible Ordinals (1974) (23)
- Π 01 Sets and Models of WKL 0 (2000) (21)
- Sets which do not have subsets of every higher degree (1978) (20)
- Some conservation results on week König's lemma (2002) (20)
- Separable Banach space theory needs strong set existence axioms (1996) (20)
- A Nonstandard Counterpart of WWKL (2011) (20)
- Set Theoretic Aspects of Atr0 (1982) (19)
- Admissible ordinals and recursion theory (1971) (19)
- Higher order reversemathematics (2016) (19)
- On the role of Ramsey quantifiers in first order arithmetic (1982) (19)
- On Kleene Degrees of Analytic Sets (1980) (17)
- Forcing and models of arithmetic (1974) (16)
- Periodic Points and Subsystems of Second-Order Arithmetic (1993) (16)
- Reverse mathematics and Peano categoricity (2013) (16)
- Mass Problems and Intuitionism (2008) (16)
- Mass Problems and Measure-Theoretic Regularity (2009) (15)
- Short Course on Admissible Recursion Theory (1978) (15)
- Reverse Mathematics 2001 (2016) (15)
- THE SELENIOUS ACID METHOD FOR THE DETERMINATION OF ZIRCONIUM (1931) (15)
- Propagation of partial randomness (2013) (14)
- Some fundamental issues concerning degrees of unsolvability (2008) (12)
- Notions of compactness in weak subsystems of second order arithmetic (2016) (12)
- Calculations Of Analytical Chemistry (1960) (12)
- Annals of Mathematics First-Order Theory of the Degrees of Recursive Unsolvability (2010) (12)
- Degrees of Unsolvability: A Tutorial (2015) (11)
- Post's Problem for Admissible Sets (1974) (11)
- Recursion theoretic aspects of the dual ramsey theorem (1985) (10)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (2015) (10)
- A Mixed Indicator for Carbonate-Bicarbonate Titrations. (1924) (9)
- Cone avoidance and randomness preservation (2015) (9)
- Logic and Mathematics (1999) (8)
- Toward objectivity in mathematics (2013) (7)
- 0 Sets and Models of WKL0 (2013) (7)
- Predicativity: The outer limits (2016) (7)
- AN OBJECTIVE JUSTIFICATION FOR ACTUAL INFINITY (2014) (7)
- High and low Kleene degrees of coanalytic sets (1983) (6)
- Separation and Weak König's Lemma (1999) (5)
- Talbot's quantitative chemical analysis (1946) (5)
- Baire Categoricity and Σ01-Induction (2014) (5)
- Σ1 and Π1 Transfinite Induction (1982) (5)
- Factorization of Polynomials and ~1 Induction* O. Introduction (for Algebraists) (1985) (5)
- Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions (2017) (5)
- A dual form of Erdös-Rado's canonization theorem (1986) (5)
- Mass problems and intuitionistic higher-order logic (2014) (5)
- Mass Problems (2004) (4)
- Foundations of Mathematics (2000) (4)
- The Hierarchy Based on the Jump Operator (1980) (4)
- Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic (1989) (4)
- An incompleteness theorem for βn-models (2004) (4)
- A note on compactness of countable sets (2016) (4)
- Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic (1983) (4)
- On the Existence of Two Analytic Non-Borel Sets Which are not Isomorphic (1984) (3)
- Medvedev Degrees , Muchnik Degrees , Subsystems of Z 2 and Reverse Mathematics (2001) (3)
- Reverse mathematics and graph coloring: eliminating diagonalization (2016) (3)
- Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction (2015) (3)
- The Baire category theoremover a feasible base theory (2016) (3)
- The Effect of Phosphate on the Determination of Tungsten (1938) (3)
- Why the Recursion Theorists Ought to Thank Me (2)
- Subsystems of Second Order Arithmetic: PREFACE (2009) (2)
- Basic applications of weak König's lemma in feasible analysis (2016) (2)
- Implicit Definability in Arithmetic (2016) (2)
- Medvedev and Muchnik Degrees of Nonempty Π 01 Subsets of 2 ω (2001) (2)
- Chapter 21 Reverse algebra (1998) (2)
- Open Problems in Reverse Mathematics (1999) (2)
- A Slick Proof of the Unsolvability of the Word Problem for Finitely Presented Groups (2005) (2)
- Spring meeting of the Association for Symbolic Logic (1993) (2)
- The Effect of the Presence of Filter Paper on Permanganate-Oxalate Titrations. (1921) (2)
- Kurt Gödel: SET THEORY (2010) (1)
- Subsystems of Second Order Arithmetic: INTRODUCTION (2009) (1)
- Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions (1973) (1)
- Foundations of Mathematics: an Optimistic Message (2020) (1)
- Topics in Logic and Foundations: Spring 2004 (2005) (1)
- Quantitative Chemical Analysis (2015) (1)
- Formation of Formic Acid by Caramelization of Cane Sugar. (1923) (1)
- Reverse mathematics and weak systems of 0-1 strings for feasible analysis (2016) (1)
- Four Test Problems in Generalized Recursion Theory (1982) (1)
- Undecidable theories and reversemathematics (2016) (1)
- Mass problems and density (2016) (1)
- Reverse mathematics and π21 comprehension (2005) (1)
- Degrees of Unsolvability (2011) (1)
- on Undecidability and Incompleteness (2013) (1)
- Pseudojump inversion in special r. b. $\Pi^0_1$ classes (2021) (1)
- Selenite-phosphate method for determining zirconium in ores (1935) (1)
- Logic and Combinatorics Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held August 4-10, 1985 (1987) (0)
- Review of Stephen G. Simpson: Subsystems of Second Order Arithmetic (2012) (0)
- Intuition vs. Monsters (1998) (0)
- The roles of aromatics and catalytic reforming in the 2000+ refinery (2000) (0)
- Reviews-Subsystems of Second-Order Arithmetic (2001) (0)
- A symmetric $\beta$-model (2018) (0)
- An Incompleteness Theorem for [image] (2004) (0)
- Contiguity in the Collective Memory of Antwerp (2011) (0)
- Introduction to Mass Problems (0)
- Special Section: Computability Theory and the Foundation of Mathematics (2017) (0)
- Symbolic Dynamics: Entropy = Dimension = Complexity (2014) (0)
- Fluid catalytic cracker as a source of petrochemical olefins (1987) (0)
- Reverse Topology (0)
- M ar 2 01 8 A symmetric β-model ∗ (2018) (0)
- Introduction to Qualitative Chemical Analysis (Smith, D. P.; Miller, H. K.) (1929) (0)
- Subsystems of Second Order Arithmetic: WEAK KÖNIG'S LEMMA (2009) (0)
- Ordinal Numbers and the Hilbert Basis Theorem Author ( s ) : (2007) (0)
- Model-theoretic characterizations of ATR 0 and Π 11-CA 0 (2018) (0)
- A Symmetric β-Model (2000) (0)
- Mass problems associated with effectively closed sets , part 2 (0)
- Very weak fragments of weak K\H{o}nig's lemma (2021) (0)
- On the Muchnik degrees of 2-dimensional subshifts of finite type (2007) (0)
- Turing Degrees of Hyperjumps (2021) (0)
- ug 2 01 4 Mass problems and intuitionistic higher-order logic (2014) (0)
- THE REACTION BETWEEN BROMINE AND AMMONIUM SALTS AND ITS EFFECT ON THE PRECIPITATION OF MANGANESE DIOXIDE (1923) (0)
- REVIEWS-Reverse Mathematics 2001 (2007) (0)
- A World Where Relative Definability Coincides With Relative Recursiveness (0)
- Pseudojump inversion in special r . b . Π 01 classes (2021) (0)
- Finitely generated nilpotent groups are finitely presented and residually finite (2005) (0)
- Calculations of quantitative chemical analysis (2012) (0)
- Two Topics in the Theory of Computability and Unsolvability (0)
- Harrington's results on arithmetical singletons (2013) (0)
- Recent Aspects of Mass Problems: Symbolic Dynamics and Intuitionism (2007) (0)
- Bounded Limit Recursiveness (2007) (0)
- Subsystems of Second Order Arithmetic: ARITHMETICAL TRANSFINITE RECURSION (2009) (0)
- SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC (2013) (0)
- Peano systems (2011) (0)
- Minimal Covers and Hyperdegreesf1 ) (2010) (0)
- A Laboratory Manual of Qualitative Analysis (Miller, Frederick W., Jr.) (1930) (0)
- Problems in Reverse Mathematics (1999) (0)
- The reverse mathematics of some finiteness theorems in algebra (2015) (0)
- Reverse mathematics , ordinal numbers , and the ACC (2014) (0)
- Conference on Computability, Complexity and Randomness (2008) (0)
- Did Cantor need set theory (2016) (0)
- Abstracts of invited talks (2013) (0)
- Possible m-diagrams ofmodels of arithmetic (2016) (0)
- A Short Course in Qualitative Analysis (Brown, F. E.) (1932) (0)
- Models of arithmetic: quantifiers and complexity (2016) (0)
- Recursion Theory and Symbolic Dynamics (2007) (0)
- Computable symbolic dynamics (2009) (0)
- MINIMAL COVERS AND HYPERDEGREESf 1 ) BY (2010) (0)
- Manipulating the reals in RCA0 (2016) (0)
- A ug 2 01 5 Comparing WO ( ω ω ) with Σ 02 induction (2015) (0)
- A survey of the reversemathematics of ordinal arithmetic (2016) (0)
- A method of tabulating the reactions of qualitative analysis (1938) (0)
- Reverse Mathematics , Mass Problems , and Effective Randomness (2006) (0)
- Math 558 – Spring 2004 – Homework (0)
- Tutorial on Mass Problems (2006) (0)
- Reverse mathematics and the ACC (2014) (0)
- Notes on Undecidability and Incompleteness (2008) (0)
- Potential versus actual infinity: insights from reverse mathematics (2015) (0)
- MSC volume 20 issue 4 Cover and Back matter (2010) (0)
- Reversemathematics and ordinal suprema (2016) (0)
- An incompleteness theorem for gamman-models (2004) (0)
- Subsystems of Second Order Arithmetic: NON-ω-MODELS (2009) (0)
- Kurt Gödel: PHILOSOPHY OF MATHEMATICS (2010) (0)
- Muchnik and Medvedev Degrees of Π 01 Subsets of 2 ω (2001) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Stephen Gershom Simpson?
Stephen Gershom Simpson is affiliated with the following schools:
