Pages that link to "Item:Q5472644"
From MaRDI portal
The following pages link to Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644):
Displayed 13 items.
- Topological aspects of poset spaces (Q977107) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)