Pages that link to "Item:Q2344622"
From MaRDI portal
The following pages link to Nonstandardness and the bounded functional interpretation (Q2344622):
Displaying 18 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Nonstandard definability (Q913793) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Transfer principles in nonstandard intuitionistic arithmetic (Q1407559) (← links)
- 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)
- Bounded functional interpretation (Q2488269) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)