scientific article; zbMATH DE number 6816944

DOI10.23638/LMCS-13(4:23)2017MaRDI QIDQ4596802zbMATH OpenFDO

Authors Sam Sanders

Publication date 11 December 2017

Full work available at URL https://arxiv.org/abs/1706.06663

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Higher-type and set recursion theory (03D65) Nonstandard models in mathematics (03H05)

Recommendations

• scientific article; zbMATH DE number 843111
• scientific article; zbMATH DE number 4170906
• scientific article; zbMATH DE number 3983157
• scientific article; zbMATH DE number 3999924
• Revisiting the Grüss inequality
• scientific article; zbMATH DE number 826125
• A new approach to nonstandard analysis
• scientific article; zbMATH DE number 1218023
• scientific article; zbMATH DE number 1322250
• scientific article; zbMATH DE number 3861160

Cited in

(2)

• Effective discontinuity and a characterisation of the superjump
• The Gandy-Hyland functional and a computational aspect of nonstandard analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596802)