Pages that link to "Item:Q1407559"
From MaRDI portal
The following pages link to Transfer principles in nonstandard intuitionistic arithmetic (Q1407559):
Displaying 6 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
