Pages that link to "Item:Q1356978"
From MaRDI portal
The following pages link to A sheaf-theoretic foundation for nonstandard analysis (Q1356978):
Displaying 11 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)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- NON-STANDARD ANALYSIS AND THE MORGAN-SHALEN COMPACTIFICATION (Q3977045) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- (Q4977437) (← links)
- Constructive nonstandard representations of generalized functions (Q5935891) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)