Descriptive set theory in the category of represented spaces

DOI10.1109/LICS.2015.48MaRDI QIDQ4635825zbMATH OpenOpenAlexFDO

Authors Arno Pauly, Matthew De Brecht

Publication date 23 April 2018

Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2015.48

Mathematics Subject Classification ID

Descriptive set theory (03E15)

Recommendations

• On higher effective descriptive set theory
• Towards the Effective Descriptive Set Theory
• Towards a descriptive set theory for domain-like structures
• Quasi-Polish spaces
• On the topological aspects of the theory of represented spaces

Cited in

(22)

• Comparing representations for function spaces in computable analysis
• On higher effective descriptive set theory
• Game characterizations and lower cones in the Weihrauch degrees
• The fixed-point property for represented spaces
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Weihrauch degrees of finding equilibria in sequential games
• Approximate solution of the Fokker-Planck-Kolmogorov equation
• A Galois connection between Turing jumps and limits
• A comparison of concepts from computable analysis and effective descriptive set theory
• Weihrauch-completeness for layerwise computability
• Computability of Subsets of Metric Spaces
• Weihrauch Complexity in Computable Analysis
• Effective aspects of Hausdorff and Fourier dimension
• FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
• Computable analysis with applications to dynamic systems
• Game characterizations and lower cones in the Weihrauch degrees
• Point Degree Spectra of Represented Spaces
• Lawvere-Tierney topologies for computability theorists
• Computing measure as a primitive operation in real number computation
• Descriptive complexity on non-Polish spaces. II
• Represented spaces of represented spaces
• The arithmetic hierarchy of real functions

This page was built for publication: Descriptive set theory in the category of represented spaces

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