Stephen G. Simpson

45 papers C 1Journal 42Unranked 1

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Reverse Mathematics, Young Diagrams, and the ascending Chain condition. J. Symb. Log. Kostas Hatzikiriakou, Stephen G. Simpson
2017	—	`conf`	Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions. Computability and Complexity Stephen G. Simpson
2016	J	`jnl`	Implicit Definability in Arithmetic. Notre Dame J. Formal Log. Stephen G. Simpson
2016	J	`jnl`	Mass problems and density. J. Math. Log. Stephen Binns, Richard A. Shore, Stephen G. Simpson
2016	J	`jnl`	Mass problems and intuitionistic higher-order logic. Comput. Sankha S. Basu, Stephen G. Simpson
2015	J	`jnl`	Cone avoidance and randomness preservation. Ann. Pure Appl. Log. Stephen G. Simpson, Frank Stephan
2015	C	`conf`	Degrees of Unsolvability: A Tutorial. CiE Stephen G. Simpson
2015	J	`jnl`	Symbolic Dynamics: Entropy = Dimension = Complexity. Theory Comput. Syst. Stephen G. Simpson
2014	J	`jnl`	Baire Categoricity and Σ Notre Dame J. Formal Log. Stephen G. Simpson
2014	J	`jnl`	Propagation of partial randomness. Ann. Pure Appl. Log. Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama
2013	J	`jnl`	Reverse mathematics and Peano categoricity. Ann. Pure Appl. Log. Stephen G. Simpson, Keita Yokoyama
2011	J	`jnl`	A Nonstandard Counterpart of WWKL. Notre Dame J. Formal Log. Stephen G. Simpson, Keita Yokoyama
2009	J	`jnl`	Mass problems and measure-theoretic regularity. Bull. Symb. Log. Stephen G. Simpson
2008	J	`jnl`	Mass Problems and Intuitionism. Notre Dame J. Formal Log. Stephen G. Simpson
2007	J	`jnl`	Almost everywhere domination and superhighness. Math. Log. Q. Stephen G. Simpson
2007	J	`jnl`	Mass Problems and Hyperarithmeticity. J. Math. Log. Joshua A. Cole, Stephen G. Simpson
2007	J	`jnl`	Mass problems and almost everywhere domination. Math. Log. Q. Stephen G. Simpson
2005	J	`jnl`	Mass problems and randomness. Bull. Symb. Log. Stephen G. Simpson
2005	J	`jnl`	Reverse mathematics and pi Bull. Symb. Log. Carl Mummert, Stephen G. Simpson
2004	J	`jnl`	Almost everywhere domination. J. Symb. Log. Natasha Dobrinen, Stephen G. Simpson
2004	J	`jnl`	An incompleteness theorem for gamma J. Symb. Log. Carl Mummert, Stephen G. Simpson
2004	J	`jnl`	Embeddings into the Medvedev and Muchnik lattices of pi Arch. Math. Log. Stephen Binns, Stephen G. Simpson
2002	J	`jnl`	Some conservation results on week König's lemma. Ann. Pure Appl. Log. Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki
2002	J	`jnl`	Vitali's Theorem and WWKL. Arch. Math. Log. Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson
2000	J	`jnl`	Located Sets and Reverse Mathematics. J. Symb. Log. Mariagnese Giusto, Stephen G. Simpson
1999	J	`jnl`	Separation and Weak König's Lemma. J. Symb. Log. A. James Humphreys, Stephen G. Simpson
1999	—	`book`	Subsystems of second order arithmetic. Stephen G. Simpson
1994	J	`jnl`	On the Strength of König's Duality Theorem for Countable Bipartite Graphs. J. Symb. Log. Stephen G. Simpson
1993	J	`jnl`	Periodic Points and Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. Harvey Friedman, Stephen G. Simpson, Xiaokang Yu
1993	J	`jnl`	The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. J. Symb. Log. Douglas K. Brown, Stephen G. Simpson
1990	J	`jnl`	Measure theory and weak König's lemma. Arch. Math. Log. Xiaokang Yu, Stephen G. Simpson
1989	J	`jnl`	Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. Kostas Hatzikiriakou, Stephen G. Simpson
1988	J	`jnl`	Ordinal Numbers and the Hilbert Basis Theorem. J. Symb. Log. Stephen G. Simpson
1988	J	`jnl`	Partial Realizations of Hilbert's Program. J. Symb. Log. Stephen G. Simpson
1986	J	`jnl`	A dual form of Erdös-Rado's canonization theorem. J. Comb. Theory A Hans Jürgen Prömel, Stephen G. Simpson, Bernd Voigt
1986	J	`jnl`	Factorization of polynomials and Σ Ann. Pure Appl. Log. Stephen G. Simpson, Rick L. Smith
1986	J	`jnl`	Which set existence axioms are needed to prove the separable Hahn-Banach theorem? Ann. Pure Appl. Log. Douglas K. Brown, Stephen G. Simpson
1985	J	`jnl`	Addendum to "countable algebra and set existence axioms". Ann. Pure Appl. Log. Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
1985	J	`jnl`	Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Arch. Math. Log. Kurt Schütte, Stephen G. Simpson
1985	J	`jnl`	Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. Arch. Math. Log. Stephen G. Simpson
1984	J	`jnl`	Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? J. Symb. Log. Stephen G. Simpson
1983	J	`jnl`	Countable algebra and set existence axioms. Ann. Pure Appl. Log. Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
1983	J	`jnl`	High and Low Kleene Degrees of Coanalytic Sets. J. Symb. Log. Stephen G. Simpson, Galen Weitkamp
1982	J	`jnl`	On the Role of Ramsey Quantifiers in First Order Arithmetic. J. Symb. Log. James H. Schmerl, Stephen G. Simpson
1978	J	`jnl`	Sets Which Do Not Have Subsets of Every Higher Degree. J. Symb. Log. Stephen G. Simpson