Vassilios Gregoriades

发表

A comparison of concepts from computable analysis and effective descriptive set theory

Arno Pauly, Vassilios Gregoriades, Tamás Kispéter, 2014, Mathematical Structures in Computer Science.

The Dyck and the Preiss separation uniformly

Vassilios Gregoriades, 2018, Ann. Pure Appl. Log..

A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory

Vassilios Gregoriades, Vassilios Gregoriades, 2017, Math. Log. Q..

Descriptive set theory: advancements in effective theory and applications

Vassilios Gregoriades, 2016 .

The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function

Vassilios Gregoriades, 2011 .

Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Vassilios Gregoriades, 2011, Log. Methods Comput. Sci..

Turing degrees in Polish spaces and decomposability of Borel functions

Keng Meng Ng, Takayuki Kihara, Vassilios Gregoriades, 2014, J. Math. Log..

Recursion and effectivity in the Decomposability Conjecture

Takayuki Kihara, Vassilios Gregoriades, Takayuki Kihara, 2014 .

Classes of Polish Spaces Under Effective Borel Isomorphism

Vassilios Gregoriades, Vassilios Gregoriades, 2016, 1701.03735.

Turning Borel sets into clopen sets effectively

Vassilios Gregoriades, 2012 .