Pages that link to "Item:Q1891250"
From MaRDI portal
The following pages link to A model for intuitionistic non-standard arithmetic (Q1891250):
Displaying 22 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)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Asymptotic linear -- nonlinear duality, indeterminism and mathematical intelligence (Q2169769) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis (Q2306310) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Implication via spacetime (Q2658280) (← 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)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
- Nonstandard proof methods in toposes (Q6151820) (← links)
