Pages that link to "Item:Q4227854"
From MaRDI portal
The following pages link to Developments in Constructive Nonstandard Analysis (Q4227854):
Displaying 19 items.
- 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)
- Alpha-theory: An elementary axiomatics for nonstandard analysis (Q1425690) (← links)
- A footnote to ``The crisis in contemporary mathematics'' (Q1635798) (← 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)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Foundational aspects of multiscale digitization (Q1935768) (← links)
- Supremum, infimum and hyperlimits in the non-Archimedean ring of Colombeau generalized numbers (Q2049541) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Hyperseries in the non-Archimedean ring of Colombeau generalized numbers (Q2071005) (← links)
- A new approach to the \(Z\)-transform through infinite computation (Q2207702) (← links)
- REFLECTIONS ON MATHEMATICAL ECONOMICS IN THE ALGORITHMIC MODE (Q2873506) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
- Constructive nonstandard representations of generalized functions (Q5935891) (← links)
- Real numbers in the topos of sheaves over the category of filters (Q5939909) (← links)
- Nonstandard proof methods in toposes (Q6151820) (← links)
