The following pages link to Reverse Mathematics (Q5095937):
Displaying 17 items.
- Reverse mathematics and properties of finite character (Q435197) (← links)
- Reductions and functors from problems to word problems (Q1566706) (← links)
- Reverse mathematics and Isbell's zig-zag theorem (Q2922498) (← links)
- (Q4302475) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- The Complexity of Satisfaction Problems in Reverse Mathematics (Q5175906) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)
- (Q5711881) (← links)
- Alice’s adventures in inverse tan land – mathematical argument, language and proof (Q5860104) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
- Chi-Tat Chong’s Work on Reverse Mathematics (Q6135559) (← links)
- The Ginsburg-Sands theorem and computability theory (Q6492253) (← links)
- Searching problems above arithmetical transfinite recursion (Q6584960) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- Reverse mathematics and local rings (Q6649839) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)