dblp.uni-trier.dewww.uni-trier.de

Stephen G. Simpson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19EEStephen G. Simpson: Almost everywhere domination and superhighness. Math. Log. Q. 53(4-5): 462-482 (2007)
18EEStephen G. Simpson: Mass problems and almost everywhere domination. Math. Log. Q. 53(4-5): 483-492 (2007)
2005
17EEStephen G. Simpson: Mass problems and randomness. Bulletin of Symbolic Logic 11(1): 1-27 (2005)
16EECarl Mummert, Stephen G. Simpson: Reverse mathematics and pi12 comprehension. Bulletin of Symbolic Logic 11(4): 526-533 (2005)
2004
15EEStephen Binns, Stephen G. Simpson: Embeddings into the Medvedev and Muchnik lattices of pi01classes. Arch. Math. Log. 43(3): 399-414 (2004)
2002
14 Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki: Some conservation results on week König's lemma. Ann. Pure Appl. Logic 118(1-2): 87-114 (2002)
13EEDouglas K. Brown, Mariagnese Giusto, Stephen G. Simpson: Vitali's Theorem and WWKL. Arch. Math. Log. 41(2): 191-206 (2002)
2000
12 Mariagnese Giusto, Stephen G. Simpson: Located Sets and Reverse Mathematics. J. Symb. Log. 65(3): 1451-1480 (2000)
1999
11 A. James Humphreys, Stephen G. Simpson: Separation and Weak König's Lemma. J. Symb. Log. 64(1): 268-278 (1999)
1994
10 Stephen G. Simpson: On the Strength of König's Duality Theorem for Countable Bipartite Graphs. J. Symb. Log. 59(1): 113-123 (1994)
1993
9 Harvey Friedman, Stephen G. Simpson, Xiaokang Yu: Periodic Points and Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 62(1): 51-64 (1993)
8 Douglas K. Brown, Stephen G. Simpson: The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. J. Symb. Log. 58(2): 557-578 (1993)
1989
7 Kostas Hatzikiriakou, Stephen G. Simpson: Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 41(1): 27-32 (1989)
1988
6 Stephen G. Simpson: Partial Realizations of Hilbert's Program. J. Symb. Log. 53(2): 349-363 (1988)
5 Stephen G. Simpson: Ordinal Numbers and the Hilbert Basis Theorem. J. Symb. Log. 53(3): 961-974 (1988)
1984
4 Stephen G. Simpson: Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? J. Symb. Log. 49(3): 783-802 (1984)
1983
3 Stephen G. Simpson, Galen Weitkamp: High and Low Kleene Degrees of Coanalytic Sets. J. Symb. Log. 48(2): 356-368 (1983)
1982
2 James H. Schmerl, Stephen G. Simpson: On the Role of Ramsey Quantifiers in First Order Arithmetic. J. Symb. Log. 47(2): 423-435 (1982)
1978
1 Stephen G. Simpson: Sets Which Do Not Have Subsets of Every Higher Degree. J. Symb. Log. 43(1): 135-138 (1978)

Coauthor Index

1Stephen Binns [15]
2Douglas K. Brown [8] [13]
3Harvey M. Friedman (Harvey Friedman) [9]
4Mariagnese Giusto [12] [13]
5Kostas Hatzikiriakou [7]
6A. James Humphreys [11]
7Carl Mummert [16]
8James H. Schmerl [2]
9Kazuyuki Tanaka [14]
10Galen Weitkamp [3]
11Takeshi Yamazaki [14]
12Xiaokang Yu [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)