6 citations · 22 across the 17 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…