SU\G(𝔸)/K·U

Author Description

Login to generate an author description

Ask a Question About This Mathematician

All published works (89)

Action Title Date Authors
+
Pseudojump Inversion in Special Π10 Classes of Sets 2025-03-01 Hayden Jananthan Stephen G. Simpson
+ PDF Ask
Pseudojump inversion in special r. b. $\Pi^0_1$ classes 2021-02-11 Hayden Jananthan Stephen G. Simpson
+
Turing Degrees of Hyperjumps 2021-01-21 Hayden Jananthan Stephen G. Simpson
+ PDF Ask
Very weak fragments of weak K\H{o}nig's lemma 2021-01-03 Stephen G. Simpson Keita Yokoyama
+ PDF Ask
Very weak fragments of weak Kőnig's lemma 2021-01-01 Stephen G. Simpson Keita Yokoyama
+
Very weak fragments of weak Kőnig's lemma 2021-01-01 Stephen G. Simpson Keita Yokoyama
+ PDF Ask
Pseudojump inversion in special r. b. $Π^0_1$ classes 2021-01-01 Hayden Jananthan Stephen G. Simpson
+ PDF Ask
Turing Degrees of Hyperjumps 2021-01-01 Hayden Jananthan Stephen G. Simpson
+
Foundations of Mathematics: an Optimistic Message 2020-01-01 Stephen G. Simpson
+
A symmetric $\beta$-model 2018-03-06 Stephen G. Simpson
+ PDF Ask
A symmetric $β$-model 2018-01-01 Stephen G. Simpson
+ PDF Ask
REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION 2017-06-01 Kostas Hatzikiriakou Stephen G. Simpson
+
Π<sup>0</sup><sub>1</sub> sets and models of WKL<sub>0</sub> 2017-03-29 Stephen G. Simpson
+
Predicativity: The outer limits 2017-03-29 Stephen G. Simpson
+ PDF Ask
Symbolic dynamics: entropy = dimension = complexity 2017-02-14 Stephen G. Simpson
+ PDF Ask
Symbolic dynamics: entropy = dimension = complexity 2017-01-01 Stephen G. Simpson
+
Mass problems and density 2016-08-31 Stephen Binns Richard A. Shore Stephen G. Simpson
+ PDF Ask
Mass problems and intuitionistic higher-order logic 2016-02-11 Sankha S. Basu Stephen G. Simpson
+ PDF Ask
Reverse mathematics, Young diagrams, and the ascending chain condition 2015-10-11 Kostas Hatzikiriakou Stephen G. Simpson
+ PDF Ask
Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction 2015-08-11 Stephen G. Simpson
+ PDF Ask
Reverse mathematics, Young diagrams, and the ascending chain condition 2015-01-01 Kostas Hatzikiriakou Stephen G. Simpson
+ PDF Ask
Comparing WO$(ω^ω)$ with $Σ^0_2$ induction 2015-01-01 Stephen G. Simpson
+ PDF Ask
Mass problems and intuitionistic higher-order logic 2014-08-12 Sankha S. Basu Stephen G. Simpson
+ PDF Ask
Symbolic Dynamics: Entropy = Dimension = Complexity 2014-04-30 Stephen G. Simpson
+ PDF Ask
Baire Categoricity and Σ10-Induction 2014-01-01 Stephen G. Simpson
+ PDF Ask
Mass problems and intuitionistic higher-order logic 2014-01-01 Sankha S. Basu Stephen G. Simpson
+
TOWARD OBJECTIVITY IN MATHEMATICS 2013-12-10 Stephen G. Simpson
+ PDF Ask
Propagation of partial randomness 2013-11-12 Kojiro Higuchi W. M. Phillip Hudelson Stephen G. Simpson Keita Yokoyama
+
Schnorr randomness and the Lebesgue differentiation theorem 2013-08-27 Noopur Pathak Cristóbal Rojas Stephen G. Simpson
+ PDF Ask
Harrington's results on arithmetical singletons 2013-01-01 Stephen G. Simpson
+ PDF Ask
Propagation of partial randomness 2013-01-01 Kojiro Higuchi W. M. Phillip Hudelson Stephen G. Simpson Keita Yokoyama
+
Reverse mathematics and Peano categoricity 2012-10-27 Stephen G. Simpson Keita Yokoyama
+
A Nonstandard Counterpart of WWKL 2011-07-01 Stephen G. Simpson Keita Yokoyama
+
The Gödel hierarchy and reverse mathematics 2010-04-19 Stephen G. Simpson
+
Mass Problems and Measure-Theoretic Regularity 2009-10-14 Stephen G. Simpson
+
SOME FUNDAMENTAL ISSUES CONCERNING DEGREES OF UNSOLVABILITY 2008-06-01 Stephen G. Simpson
+
MASS PROBLEMS AND HYPERARITHMETICITY 2007-12-01 Joshua A. Cole Stephen G. Simpson
+
Mass problems and almost everywhere domination 2007-07-26 Stephen G. Simpson
+
Almost everywhere domination and superhighness 2007-07-26 Stephen G. Simpson
+
An extension of the recursively enumerable Turing degrees 2007-01-31 Stephen G. Simpson
+
Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension 2005-12-01 Carl Mummert Stephen G. Simpson
+
Mass Problems and Randomness 2005-03-01 Stephen G. Simpson
+
Almost everywhere domination 2004-09-01 Natasha Dobrinen Stephen G. Simpson
+
Embeddings into the Medvedev and Muchnik lattices of ? 0 1 classes 2004-04-01 Stephen Binns Stephen G. Simpson
+
Some conservation results on weak König's lemma 2002-10-14 Stephen G. Simpson Kazuyuki Tanaka Takeshi Yamazaki
+
Vitali's Theorem and WWKL 2002-02-01 Douglas K. Brown Mariagnese Giusto Stephen G. Simpson
+
Located sets and reverse mathematics 2000-09-01 Mariagnese Giusto Stephen G. Simpson
+ PDF Ask
Issues and problems in reverse mathematics 2000-01-01 Harvey Friedman Stephen G. Simpson
+
Separation and Weak König's Lemma 1999-03-01 A. James Humphreys Stephen G. Simpson
+
Subsystems of Second Order Arithmetic 1999-01-01 Stephen G. Simpson

Common Coauthors

Coauthor Papers Together
Keita Yokoyama 7
Hayden Jananthan 5
Kostas Hatzikiriakou 5
Harvey M. Friedman 3
Douglas K. Brown 2
Timothy J. Carlson 2
W. M. Phillip Hudelson 2
Kojiro Higuchi 2
Mariagnese Giusto 2
Xiaokang Yu 2
Sankha S. Basu 2
Rick L. Smith 2
Stephen Binns 2
Harvey Friedman 2
James H. Schmerl 1
Kurt Schütte 1
Natasha Dobrinen 1
J. Venkateswara Rao 1
Hans Jürgen Prömel 1
Bernd Voigt 1
Cristóbal Rojas 1
Kenneth McAloon 1
A. James Humphreys 1
Kazuyuki Tanaka 1
Noopur Pathak 1
Carl Mummert 1
Joshua A. Cole 1
Takeshi Yamazaki 1
Richard A. Shore 1
Karel Hrbáček 1
Sankha S. Basu 1

Commonly Cited References

Action Title Date Authors # of times referenced
+
Subsystems of Second Order Arithmetic 1999-01-01 Stephen G. Simpson 21
+
Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship. 1983-11-01 Harvey M. Friedman Stephen G. Simpson Rick L. Smith 11
+
Partial realizations of Hilbert's program 1988-06-01 Stephen G. Simpson 10
+
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? 1984-09-01 Stephen G. Simpson 10
+
A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis 1982-01-01 Harvey Friedman Kenneth McAloon Stephen G. Simpson 9
+
An extension of the recursively enumerable Turing degrees 2007-01-31 Stephen G. Simpson 8
+
Mass Problems and Randomness 2005-03-01 Stephen G. Simpson 8
+
Almost everywhere domination and superhighness 2007-07-26 Stephen G. Simpson 8
+
The definition of random sequences 1966-12-01 Per Martin-Löf 7
+
Degrees of Unsolvability 1983-01-01 Manuel Lerman 7
+
Degrees of Functions with no Fixed Points 1989-01-01 Carl G. Jockusch 7
+
Vitali's Theorem and WWKL 2002-02-01 Douglas K. Brown Mariagnese Giusto Stephen G. Simpson 7
+ PDF Ask
Ordinal numbers and the Hilbert basis theorem 1988-09-01 Stephen G. Simpson 6
+ PDF Ask
Low for random reals and positive-measure domination 2007-09-07 Bjørn Kjos-Hanssen 6
+
Systems of predicative analysis 1964-03-01 Solomon Feferman 6
+ PDF Ask
Recursively enumerable sets of positive integers and their decision problems 1944-01-01 Emil L. Post 6
+
Uniform almost everywhere domination 2006-09-01 Peter Cholak Noam Greenberg Joseph S. Miller 6
+
Almost everywhere domination 2004-09-01 Natasha Dobrinen Stephen G. Simpson 6
+ PDF Ask
Comparing DNR and WWKL 2004-12-01 Klaus Ambos–Spies Bjørn Kjos-Hanssen Steffen Lempp Theodore A. Slaman 6
+
Degrees of random sets 1991-01-01 Steven M. Kautz 6
+
Measure theory and weak König's lemma 1990-05-01 Xiaokang Yu Stephen G. Simpson 6
+
Embeddings into the Medvedev and Muchnik lattices of ? 0 1 classes 2004-04-01 Stephen Binns Stephen G. Simpson 6
+
Borel sets and Ramsey's theorem 1973-06-01 Fred Galvin Karel Prikry 5
+
The Gödel hierarchy and reverse mathematics 2010-04-19 Stephen G. Simpson 5
+
Initial segments of models of Peano's axioms 1977-01-01 Laurence Kirby J. B. Paris 4
+
Mass problems and almost everywhere domination 2007-07-26 Stephen G. Simpson 4
+
On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction 2013-01-02 Keita Yokoyama 4
+
Finitism 1981-09-01 W. W. Tait 4
+
Located sets and reverse mathematics 2000-09-01 Mariagnese Giusto Stephen G. Simpson 4
+
The Baire category theorem in weak subsystems of second-order arithmetic 1993-06-01 Douglas K. Brown Stephen G. Simpson 4
+
SOME FUNDAMENTAL ISSUES CONCERNING DEGREES OF UNSOLVABILITY 2008-06-01 Stephen G. Simpson 4
+
Minimal degrees and the jump operator 1973-06-01 S. Barry Cooper 4
+
Density of the Medvedev lattice of ?01 classes 2003-08-01 Douglas Cenzer Peter G. Hinman 4
+ PDF Ask
Hyperarithmetically encodable sets 1978-01-01 Robert M Solovay 4
+
The Recursively Enumerable Degrees are Dense 1964-09-01 Gerald E. Sacks 4
+
Sets which do not have subsets of every higher degree 1978-03-01 Stephen G. Simpson 4
+
On initial segments of hyperdegrees 1970-06-01 S. K. Thomason 4
+
Ramsey's theorem and recursion theory 1972-06-01 Carl G. Jockusch 4
+
Addendum to “countable algebra and set existence axioms” 1985-05-01 Harvey M. Friedman Stephen G. Simpson Rick L. Smith 4
+
MASS PROBLEMS AND HYPERARITHMETICITY 2007-12-01 Joshua A. Cole Stephen G. Simpson 4
+
An Introduction to Kolmogorov Complexity and Its Applications 2019-01-01 Ming Li Paul Vitányi 4
+
Mass Problems and Measure-Theoretic Regularity 2009-10-14 Stephen G. Simpson 4
+
Lowness for the class of random sets 1999-12-01 Antonín Kučera Sebastiaan A. Terwijn 4
+
Lebesgue Convergence Theorems and Reverse Mathematics 1994-01-01 Xiaokang Yu 4
+ PDF Ask
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination 2006-03-01 Stephen Binns Bjørn Kjos-Hanssen Manuel Lerman Reed Solomon 4
+
A Mathematical Incompleteness in Peano Arithmetic 1977-01-01 J. B. Paris 3
+
Riesz representation theorem, Borel measures and subsystems of second-order arithmetic 1993-01-01 Xiaokang Yu 3
+
A note on ordinal numbers and rings of formal power series 1994-08-01 Kostas Hatzikiriakou 3
+
Lower Bounds for Pairs of Recursively Enumerable Degrees 1966-01-01 A. H. Lachlan 3
+ PDF Ask
On initial segment complexity and degrees of randomness 2008-01-10 Joseph S. Miller Liang Yu 3