Effective Borel degrees of some topological functions

DOI10.1002/MALQ.200610021MaRDI QIDQ3418092zbMATH OpenOpenAlexFDO

Authors Guido Gherardi

Publication date 2 February 2007

Published in MLQ (Search for Journal in Brave)

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

zbMATH Keywords

computable analysisUrysohn LemmaBorel computabilityTietze-Urysohn Lemma

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Theory of numerations, effectively presented structures (03D45) Descriptive set theory (03E15) Extension of maps (54C20) Constructive and recursive analysis (03F60)

Recommendations

• Logical Approaches to Computational Barriers
• Borel Complexity of Topological Operations on Computable Metric Spaces
• Outline of partial computability in computable topology
• Borel Complexity of Topological Operations on Computable Metric Spaces
• Effective Borel measurability and reducibility of functions

Cited in

(8)

• The effective Borel hierarchy
• Computability of Subsets of Metric Spaces
• Wadge-like degrees of Borel bqo-valued functions
• Logical Approaches to Computational Barriers
• Effective Choice and Boundedness Principles in Computable Analysis
• Effective Borel measurability and reducibility of functions
• Weihrauch Complexity in Computable Analysis
• Borel Complexity of Topological Operations on Computable Metric Spaces

This page was built for publication: Effective Borel degrees of some topological functions

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