Phonophobia
发表于 2025-3-23 13:41:36
Some Notes on Spaces of Ideals and Computable Topology,It was shown in [.] that the . introduced in [.] can be equivalently characterized as spaces of ideals in the following sense.
不舒服
发表于 2025-3-23 14:59:27
http://reply.papertrans.cn/19/1854/185336/185336_12.png
septicemia
发表于 2025-3-23 18:39:52
http://reply.papertrans.cn/19/1854/185336/185336_13.png
简略
发表于 2025-3-24 01:25:34
Computable Analysis and Classification Problems,Suppose we are given a collection of mathematical objects such as the class of connected compact Polish groups or the set of all real numbers which are normal to some base.
Pathogen
发表于 2025-3-24 03:48:27
On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and RecursivThe present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included.
elucidate
发表于 2025-3-24 08:13:09
Degrees of Non-computability of Homeomorphism Types of Polish Spaces,There are continuum many homeomorphism types of Polish spaces. In particular, there is a Polish space which is not homeomorphic to any computably presented Polish space. We examine the details of degrees of non-computability of presenting homeomorphic copies of Polish spaces.
Arroyo
发表于 2025-3-24 12:44:32
http://reply.papertrans.cn/19/1854/185336/185336_17.png
他很灵活
发表于 2025-3-24 18:28:06
http://reply.papertrans.cn/19/1854/185336/185336_18.png
斗争
发表于 2025-3-24 21:00:41
https://doi.org/10.1007/978-3-658-23432-4sequences), it is in general not possible to do so subrecursively: conversions in general need to perform unbounded search. This raises the question of categorizing the pairs of representations between which either subrecursive conversion is possible, or is not possible..The purpose of this paper is
AVID
发表于 2025-3-25 01:34:11
http://reply.papertrans.cn/19/1854/185336/185336_20.png