The following pages link to Stephen G. Simpson (Q306820):
Displaying 50 items.
- Implicit definability in arithmetic (Q306821) (← links)
- Propagation of partial randomness (Q386647) (← links)
- A nonstandard counterpart of WWKL (Q645739) (← links)
- Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes (Q701736) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Mass problems and intuitionism (Q929629) (← links)
- A dual form of Ramsey's theorem (Q1057862) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- Addendum to ``Countable algebra and set existence axioms'' (Q1063594) (← links)
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338) (← links)
- First-order theory of the degrees of recursive unsolvability (Q1234682) (← links)
- Vitali's theorem and WWKL (Q1407535) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- Cone avoidance and randomness preservation (Q2344623) (← links)
- Symbolic dynamics: entropy = dimension = complexity (Q2354582) (← links)
- Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- Maximal sets in \(\alpha\)-recursion theory (Q2560401) (← links)
- Measure theory and weak König's lemma (Q2639061) (← links)
- Mass problems and intuitionistic higher-order logic (Q2799749) (← links)
- Schnorr randomness and the Lebesgue differentiation theorem (Q2862195) (← links)
- Mass problems and density (Q2951897) (← links)
- Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions (Q2970986) (← links)
- (Q3039337) (← links)
- (Q3069633) (← links)
- (Q3079620) (← links)
- The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- High and low Kleene degrees of coanalytic sets (Q3310598) (← links)
- Mass Problems and Randomness (Q3370625) (← links)
- (Q3375872) (← links)
- (Q3395521) (← links)
- (Q3481699) (← links)
- (Q3484829) (← links)
- MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
- (Q3530405) (← links)
- Mass Problems and Measure-Theoretic Regularity (Q3655266) (← links)
- (Q3671967) (← links)
- (Q3691656) (← links)
- (Q3699664) (← links)
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? (Q3708798) (← links)
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen (Q3718711) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- (Q3791148) (← links)
- (Q3797180) (← links)
- Partial realizations of Hilbert's program (Q3799998) (← links)
- Ordinal numbers and the Hilbert basis theorem (Q3809796) (← links)
- (Q3893916) (← links)
