2007 |
19 | EE | Stephen G. Simpson:
Almost everywhere domination and superhighness.
Math. Log. Q. 53(4-5): 462-482 (2007) |
18 | EE | Stephen G. Simpson:
Mass problems and almost everywhere domination.
Math. Log. Q. 53(4-5): 483-492 (2007) |
2005 |
17 | EE | Stephen G. Simpson:
Mass problems and randomness.
Bulletin of Symbolic Logic 11(1): 1-27 (2005) |
16 | EE | Carl Mummert,
Stephen G. Simpson:
Reverse mathematics and pi12 comprehension.
Bulletin of Symbolic Logic 11(4): 526-533 (2005) |
2004 |
15 | EE | Stephen 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) |
13 | EE | Douglas 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) |