Pages that link to "Item:Q1356978"
From MaRDI portal
The following pages link to A sheaf-theoretic foundation for nonstandard analysis (Q1356978):
Displayed 8 items.
- Ultrasheaves and double negation (Q558435) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Ultrapowers as sheaves on a category of ultrafilters (Q1762726) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- Constructive nonstandard representations of generalized functions (Q5935891) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)