The following pages link to (Q3464659):
Displaying 7 items.
- Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856) (← links)
- On higher effective descriptive set theory (Q2011663) (← links)
- On images of partial computable functions over computable Polish spaces (Q2403641) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM (Q4632538) (← links)
- Borel sets and countable models (Q5396485) (← links)
- EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER (Q6095975) (← links)