3 citations · 9 across the 13 of their papers we have counts for
1 paper · 2 filters
Mathieu Hoyrup, Cristobal Rojas, Victor Selivanov +1
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open…