Pages that link to "Item:Q1892939"
From MaRDI portal
The following pages link to A constructive approach to nonstandard analysis (Q1892939):
Displaying 25 items.
- Strongly internal sets and generalized smooth functions (Q458302) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Nonstandard analysis and constructivism? (Q1119637) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Investigation of relaxation oscillations with the use of constructive nonstandard analysis: I (Q1778262) (← links)
- Countably determined sets and a conjecture of C. W. Henson (Q1907193) (← links)
- A new approach to the \(Z\)-transform through infinite computation (Q2207702) (← links)
- Non-standard analysis in dynamic geometry (Q2334581) (← links)
- Nonstandard order analysis. An invitation. (Q2703791) (← links)
- Hyperformulas and classifications (Q2759804) (← links)
- A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis (Q3145969) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- On the strength of nonstandard analysis (Q3762318) (← links)
- Supplements to “A Predicative Approach to Nonstandard Mathematics” (Q3800038) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- Existence and Consistence (Q4344733) (← links)
- Non‐standard Analysis in WKL<sub>0</sub> (Q4351929) (← links)
- Minimal models of Heyting arithmetic (Q4382484) (← links)
- (Q4552745) (← links)
- A Constructive Look at Generalised Cauchy Reals (Q4939408) (← links)
- Некоторые замечания о нестандартных методах анализа. I (Q4970106) (← links)
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
