Cantone, Domenico; Omodeo, Eugenio G.; Policriti, Alberto Banishing ultrafilters from our consciousness. (English) Zbl 1439.03034 Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 255-283 (2016). MSC: 03B35 03H10 03H05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Dragoş, Petru Applications of the non-standard analysis. (English) Zbl 0863.03033 Bul. Inst. Politeh. Iași, Secț. I 41, No. 3-4, 21-30 (1995). MSC: 03H05 × Cite Format Result Cite Review PDF
Antonevich, A. B.; Radyno, Ya. V. On a general method for constructing algebras of generalized functions. (English. Russian original) Zbl 0862.46019 Sov. Math., Dokl. 43, No. 3, 680-684 (1991); translation from Dokl. Akad. Nauk SSSR 318, No. 2, 267-270 (1991). MSC: 46F05 × Cite Format Result Cite Review PDF
Borovikov, I. A. On an approach to almost controllability in the theory of nonlinear dynamical systems. (Russian) Zbl 0694.93004 Kibern. Vychisl. Tekh., Kiev 81, 18-23 (1989). Reviewer: V.Veliov MSC: 93B05 93B27 93C10 × Cite Format Result Cite Review PDF