The following pages link to Paul Shafer (Q283111):
Displaying 28 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) (Q412061) (← links)
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Characterizing the join-irreducible Medvedev degrees (Q628800) (← links)
- Embeddings between well-orderings: computability-theoretic reductions (Q1987213) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Randomness and semimeasures (Q2013389) (← links)
- Cohesive powers of linear orders (Q2179360) (← links)
- Comparing the degrees of enumerability and the closed Medvedev degrees (Q2312080) (← links)
- Universality, optimality, and randomness deficiency (Q2352258) (← links)
- The reverse mathematics of non-decreasing subsequences (Q2402955) (← links)
- Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction (Q2795915) (← links)
- On uniform relationships between combinatorial problems (Q2796522) (← links)
- The reverse mathematics of the Tietze extension theorem (Q2827383) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- Reverse mathematics, trichotomy, and dichotomy (Q3145982) (← links)
- On the logical strengths of partial solutions to mathematical problems (Q4642696) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- An inside/outside Ramsey theorem and recursion theory (Q5036108) (← links)
- RANDOMNESS NOTIONS AND REVERSE MATHEMATICS (Q5107230) (← links)
- The strength of compactness for countable complete linear orders (Q5118457) (← links)
- Reverse Mathematics and Algebraic Field Extensions (Q5413741) (← links)
- ON COHESIVE POWERS OF LINEAR ORDERS (Q6095969) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)
- On uniform relationships between combinatorial problems (Q6237662) (← links)
- The reverse mathematics of the Tietze extension theorem (Q6270566) (← links)
- Ordinal analysis of partial combinatory algebras (Q6352093) (← links)
