research
∙
01/20/2023
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
The well known ideal presentations of countably based domains were recen...
research
∙
10/20/2020
Primitive Recursive Ordered Fields and Some Applications
We establish primitive recursive versions of some known facts about comp...
research
∙
10/29/2019
Effective Wadge Hierarchy in Computable Quasi-Polish Spaces
We define and study an effective version of the Wadge hierarchy in compu...
research
∙
09/24/2019
Wadge-like degrees of Borel bqo-valued functions
We unite two well known generalisations of the Wadge theory. The first o...
research
∙
09/09/2018
Well Quasiorders and Hierarchy Theory
We discuss some applications of WQOs to several fields were hierarchies ...
research
∙
07/01/2018