Recursive Polish spaces
نویسندگان
چکیده
Abstract This paper is concerned with the proper way to effectivize notion of a Polish space. A theorem proved that shows recursive space structure not found in effectively open subsets $${\mathcal {X}}$$ X , and we explore strong evidence effective instead captured by product $$\mathbb {N}\times {\mathcal N × .
منابع مشابه
Quasi-Polish Spaces
We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of Polish spaces to the non-Hausdorff setting. We show that a subspace of a quasi-Polish space is quasi-Polish if and only if it is Π2 in the Borel hierarchy. ...
متن کاملNoetherian Quasi-Polish spaces
In the presence of suitable power spaces, compactness ofX can be characterized as the singleton {∅} being open in the space A(X). Equivalently, this means that universal quantification over a compact space preserves open predicates. Using the language of represented spaces, one can make sense of notions such as a Σ 2 subset of the space of Σ 2 -subsets of a given space. This suggests higher-ord...
متن کاملPolish spaces, computable approximations, and bitopological spaces
Answering a question of J. Lawson (formulated also earlier, in 1984, by Kamimura and Tang [Theoret. Comput. Sci. 34 (1984) 275–288]) we show that every Polish space admits a bounded complete computational model, as defined below. This results from our construction, in each Polish space 〈X,τ 〉, of a countable family C of non-empty closed subsets of X such that: (cp) each subset of C with the fin...
متن کاملIsometry of Polish metric spaces
We consider the equivalence relation of isometry of separable, complete metric spaces, and show that any equivalence relation induced by a Borel action of a Polish group on a Polish space is Borel reducible to this isometry relation. We also consider the isometry relation restricted to various classes of metric spaces, and produce lower bounds for the complexity in terms of the Borel reducibili...
متن کاملGrey Subsets of Polish Spaces
We develop the basics of an analogue of descriptive set theory for functions on a Polish space X. We use this to define a version of the small index property in the context of Polish topometric groups, and show that Polish topometric groups with ample generics have this property. We also extend classical theorems of Effros and Hausdorff to the topometric context.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2023
ISSN: ['1432-0665', '0933-5846']
DOI: https://doi.org/10.1007/s00153-023-00883-5