The following pages link to Computable metrization (Q5307607):
Displaying 10 items.
- Computable de Finetti measures (Q764273) (← links)
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- Characterizing the continuous degrees (Q2279952) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Towards the Effective Descriptive Set Theory (Q3195711) (← links)
- Computable Exchangeable Sequences Have Computable de Finetti Measures (Q3576054) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- Computable Riesz Representation for Locally Compact Hausdorff Spaces (Q4918024) (← links)
- ON A METRIC GENERALIZATION OF THE tt-DEGREES AND EFFECTIVE DIMENSION THEORY (Q5222533) (← links)
- Algorithmic randomness over general spaces (Q5419210) (← links)
