The following pages link to Overt choice (Q5131649):
Displaying 14 items.
- Enumerating classes of effective quasi-Polish spaces (Q2104255) (← links)
- Some notes on spaces of ideals and computable topology (Q2106589) (← links)
- Non-collapse of the effective wadge hierarchy (Q2117803) (← links)
- Partially dominant choice (Q2634139) (← links)
- Effective wadge hierarchy in computable quasi-Polish spaces (Q2662822) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Selectivity properties of spaces (Q3299469) (← links)
- Effective aspects of Hausdorff and Fourier dimension (Q5061392) (← links)
- Non-collapse of the effective Wadge hierarchy (Q5061393) (← links)
- (Q5155677) (← links)
- A syntactic approach to Borel functions: some extensions of Louveau's theorem (Q6053514) (← links)
- Notes on overt choice (Q6146824) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
