Pages that link to "Item:Q1670765"
From MaRDI portal
The following pages link to Some nonstandard equivalences in reverse mathematics (Q1670765):
Displaying 13 items.
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Reverse-engineering reverse mathematics (Q1944329) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics† (Q4968478) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Representations of Reals in Reverse Mathematics (Q5440172) (← links)
- Nonstandard Arithmetic and Reverse Mathematics (Q5479570) (← links)
- Some nonstandard equivalences in Reverse Mathematics (Q6300630) (← links)