Pages that link to "Item:Q1670765"
From MaRDI portal
The following pages link to Some nonstandard equivalences in reverse mathematics (Q1670765):
Displayed 5 items.
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)