Pages that link to "Item:Q1891250"
From MaRDI portal
The following pages link to A model for intuitionistic non-standard arithmetic (Q1891250):
Displayed 16 items.
- Basic subtoposes of the effective topos (Q387125) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Ultrapowers as sheaves on a category of ultrafilters (Q1762726) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- Minimal models of Heyting arithmetic (Q4382484) (← links)
- 2002 Annual Meeting of the Association for Symbolic Logic (Q4432543) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Constructive nonstandard representations of generalized functions (Q5935891) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)