The following pages link to (Q4552745):
Displaying 9 items.
- Ultrasheaves and double negation (Q558435) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- Ultrapowers as sheaves on a category of ultrafilters (Q1762726) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)
- Non-standard analysis in dynamic geometry (Q2334581) (← links)
- A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis (Q3145969) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- (Q4470942) (← links)
- (Q4552750) (← links)