Approaches to Effective Semi‐Continuity of Real Functions

DOI10.1002/malq.19990450407zbMath0942.03063OpenAlexW2079275000MaRDI QIDQ4704654

Vasco Brattka, Zheng, Xizhong, Weihrauch, Klaus

Publication date: 23 August 2000

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450407

zbMATH Keywords

computabilityintegralcomputable analysissemi-continuous functionssemi-computable real functioneffectively uniform continuitysemi-computable function

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) Constructive real analysis (26E40)

Related Items

Recursive quasi-metric spaces. ⋮ Computability on subsets of metric spaces.

Cites Work

• Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
• On the definitions of computable real continuous functions
• Unnamed Item
• Unnamed Item
• Unnamed Item