Constructive continuity of increasing functions

DOI10.1007/978-3-030-31041-7_2OpenAlexW3007631928MaRDI QIDQ2215891

Douglas S. Bridges

Publication date: 15 December 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-31041-7_2

zbMATH Keywords

continuityconstructiveincreasing

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Betwixt Turing and Kleene

This page was built for publication: Constructive continuity of increasing functions