The following pages link to Uniform Heyting arithmetic (Q1772775):
Displaying 10 items.
- Light Dialectica revisited (Q636373) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Light Dialectica Program Extraction from a Classical Fibonacci Proof (Q2864211) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Dialectica Interpretation with Fine Computational Control (Q3576085) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
