Pages that link to "Item:Q5108095"
From MaRDI portal
The following pages link to Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095):
Displaying 9 items.
- A nonstandard counterpart of WWKL (Q645739) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Models of the Weak König Lemma (Q5881255) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)