浓缩
发表于 2025-3-23 09:45:17
Hanno Krieger,Wolfgang Petzolduter science, under the slogan "open sets are semidecidable properties". But whereas on Scott domains all such properties are also open, this is no longer true in general. In this paper we present a characterization of effectively given topological spaces that says which semidecidable sets are open.
breadth
发表于 2025-3-23 15:16:16
with the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
Ingredient
发表于 2025-3-23 20:00:00
Hanno Krieger,Wolfgang Petzoldwith the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
轻浮思想
发表于 2025-3-24 00:36:25
http://reply.papertrans.cn/88/8786/878581/878581_14.png
collagen
发表于 2025-3-24 04:44:24
Hanno Krieger,Wolfgang Petzoldwith the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
LUT
发表于 2025-3-24 10:09:48
Hanno Krieger,Wolfgang Petzoldwith the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
saphenous-vein
发表于 2025-3-24 11:35:00
Hanno Krieger,Wolfgang Petzoldwith the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
Preamble
发表于 2025-3-24 17:12:05
Hanno Krieger,Wolfgang Petzoldwith the Scott open sets. This theorem, in its turn, is a generalization of the Rice/Shapiro theorem on index sets of classes of recursively enumerable sets. Moreover, characterizations of the canonical topology of a recursively separable recursive metric space are derived. It is shown that it is th
杂色
发表于 2025-3-24 19:25:42
http://reply.papertrans.cn/88/8786/878581/878581_19.png
chapel
发表于 2025-3-25 03:11:22
http://reply.papertrans.cn/88/8786/878581/878581_20.png