A stability theorem for recursive analysis

MaRDI QIDQ4503952zbMATH OpenFDO

Authors Vasco Brattka

Publication date 14 September 2000

zbMATH Keywords

effectivityrecursive analysisrecursiveness over structuresstability theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Stability for effective algebras
• Stability of representations of effective partial algebras
• Computability structures on metric spaces
• Effective model theory vs. recursive model theory
• Stability of recursive structures in arithmetical degrees

Cited in

(3)

• The stabilizer of a recurrent point
• Recursive quasi-metric spaces.
• Stability for effective algebras

This page was built for publication: A stability theorem for recursive analysis

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