Pages that link to "Item:Q2988850"
From MaRDI portal
The following pages link to From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850):
Displayed 5 items.
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- On the Herbrand functional interpretation (Q5112393) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)