共查询到20条相似文献,搜索用时 531 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
Zvonko Iljazović 《Mathematical Logic Quarterly》2020,66(1):51-64
We consider topological pairs , , which have computable type, which means that they have the following property: if X is a computable topological space and a topological imbedding such that and are semicomputable sets in X, then is a computable set in X. It is known, e.g., that has computable type if M is a compact manifold with boundary. In this paper we examine topological spaces called graphs and we show that we can in a natural way associate to each graph G a discrete subspace E so that has computable type. Furthermore, we use this result to conclude that certain noncompact semicomputable graphs in computable metric spaces are computable. 相似文献
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.