Effective Borel degrees of some topological functions

DOI10.1002/MALQ.200610021zbMATH Open1109.03070OpenAlexW2032551408MaRDI QIDQ3418092FDOQ3418092

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• The effective Borel hierarchy
• Computability of Subsets of Metric Spaces
• Wadge-like degrees of Borel bqo-valued functions
• Effective Choice and Boundedness Principles in Computable Analysis
• Effective Borel measurability and reducibility of functions
• Weihrauch Complexity in Computable Analysis

   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 👍 👎

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)