Sigma^0_alpha - Admissible Representations (Extended Abstract)

DOI10.4230/OASICS.CCA.2009.2264zbMath1247.03130OpenAlexW1550979953MaRDI QIDQ2917343

Akihiro Yamamoto, Matthew De Brecht

Publication date: 28 September 2012

Full work available at URL: https://dblp.uni-trier.de/db/conf/cca/cca2009.html#BrechtY09

zbMATH Keywords

Borel measurable functionsdescriptive set theorycomputable analysisadmissible representations

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Computation over the reals, computable analysis (03D78)

Related Items (5)

The Topology of Statistical Verifiability ⋮ A comparison of concepts from computable analysis and effective descriptive set theory ⋮ Towards a descriptive theory of cb₀-spaces ⋮ Notes on overt choice ⋮ Learning figures with the Hausdorff metric by fractals -- towards computable binary classification

This page was built for publication: Sigma^0_alpha - Admissible Representations (Extended Abstract)