Pages that link to "Item:Q2344622"
From MaRDI portal
The following pages link to Nonstandardness and the bounded functional interpretation (Q2344622):
Displaying 10 items.
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
