Pages that link to "Item:Q1407559"
From MaRDI portal
The following pages link to Transfer principles in nonstandard intuitionistic arithmetic (Q1407559):
Displaying 12 items.
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Transference theorems and intuitionistic set theory (Q1595703) (← 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)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis (Q3145969) (← links)
- (Q4555783) (← links)
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER (Q4638992) (← links)
- Forcing in Proof Theory (Q4678943) (← links)