Descriptive Set Theory in the Category of Represented Spaces
From MaRDI portal
Publication:4635825
DOI10.1109/LICS.2015.48zbMath1395.03021OpenAlexW1482065049MaRDI QIDQ4635825
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
The fixed-point property for represented spaces ⋮ Comparing representations for function spaces in computable analysis ⋮ Effective aspects of Hausdorff and Fourier dimension ⋮ Weihrauch Degrees of Finding Equilibria in Sequential Games ⋮ A comparison of concepts from computable analysis and effective descriptive set theory ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS ⋮ Game characterizations and lower cones in the Weihrauch degrees ⋮ Unnamed Item ⋮ Computable analysis with applications to dynamic systems ⋮ Point Degree Spectra of Represented Spaces ⋮ Unnamed Item ⋮ Computability of Subsets of Metric Spaces ⋮ Weihrauch Complexity in Computable Analysis ⋮ Lawvere-Tierney topologies for computability theorists
This page was built for publication: Descriptive Set Theory in the Category of Represented Spaces
