The following pages link to Stephen G. Simpson (Q306820):
Displaying 36 items.
- (Q3914975) (← links)
- On the role of Ramsey quantifiers in first order arithmetic (Q3953757) (← links)
- (Q3960691) (← links)
- (Q3960692) (← links)
- (Q3962991) (← links)
- (Q3963007) (← links)
- (Q3972758) (← links)
- Forcing and Models of Arithmetic (Q4041570) (← links)
- Minimal Covers and Hyperdegrees (Q4075452) (← links)
- (Q4079564) (← links)
- (Q4081223) (← links)
- A degree-theoretic definition of the ramified analytical hierarchy (Q4100082) (← links)
- (Q4113820) (← links)
- Sets which do not have subsets of every higher degree (Q4186305) (← links)
- (Q4220572) (← links)
- Separation and Weak König's Lemma (Q4254634) (← links)
- On the strength of König's duality theorem for countable bipartite graphs (Q4292597) (← links)
- (Q4513968) (← links)
- Located sets and reverse mathematics (Q4527932) (← links)
- Separable Banach space theory needs strong set existence axioms (Q4717119) (← links)
- (Q4793027) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Foundations of Mathematics: an Optimistic Message (Q5013912) (← links)
- TOWARD OBJECTIVITY IN MATHEMATICS (Q5178530) (← links)
- (Q5178534) (← links)
- An extension of the recursively enumerable Turing degrees (Q5294136) (← links)
- Almost everywhere domination and superhighness (Q5307612) (← links)
- Mass problems and almost everywhere domination (Q5307613) (← links)
- An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models (Q5311743) (← links)
- Almost everywhere domination (Q5311761) (← links)
- Medvedev degrees of two-dimensional subshifts of finite type (Q5415947) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)
- The α-finite injury method (Q5677470) (← links)
- (Q5711896) (← links)
- Special Section: Computability Theory and the Foundation of Mathematics (Q5881254) (← links)
- Mass problems and intuitionistic higher-order logic (Q6253873) (← links)
