Pages that link to "Item:Q714729"

The following pages link to A functional interpretation for nonstandard arithmetic (Q714729):

Displaying 27 items.

• Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
• Reverse mathematics and parameter-free transfer (Q1634526) (← links)
• To be or not to be constructive, that is not the question (Q1688964) (← 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)
• Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
• Reverse formalism 16 (Q2054114) (← links)
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
• The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
• Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
• A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
• The strength of countable saturation (Q2402967) (← links)
• A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
• Infinitesimal analysis without the axiom of choice (Q2662699) (← links)
• <i>σ</i>-algebras for quasirandom hypergraphs (Q2951886) (← links)
• From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850) (← links)
• Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
• THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
• THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
• (Q5015363) (← links)
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
• A note on equality in finite‐type arithmetic (Q5108108) (← links)
• On the Herbrand functional interpretation (Q5112393) (← links)
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
• Hardwiring truth in functional interpretations (Q6041142) (← links)
• Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)