نتایج جستجو برای: reducibility
تعداد نتایج: 2020 فیلتر نتایج به سال:
background: while various radiographic parameters and application of manual/gravity stress have been proposed to elucidate instability for weber b fibula fractures, the prognostic capability of these modalities remains unclear. determination of anatomic positioning of the mortise is paramount. we propose a novel view, the gravity reduction view (grv), which helps elucidate non-anatomic position...
In this article we define a new reducibility based on enumeration orders.
The primary relation studied in recursion theory is that of relative complexity: A set or function A (of natural numbers) is reducible to one B if, given access to information about B, we can compute A. The primary reducibility is that of Turing, A ≤ T B, where arbitrary (Turing) machines, ϕ e , can be used; access to information about (the oracle) B is unlimited and the lengths of computations...
We prove that if I is a countable ideal in the Turing degrees, then the field RI of real numbers in I is computable from exactly the degrees that list the functions (i.e., elements of ωω) in I. This implies, for example, that the degree spectrum of the field of computable real numbers consists exactly of the high degrees. We also prove that if I is a countable Scott ideal, then it is strictly e...
Recently, there has been a growing interest in understanding the complexity of common analytic equivalence relations between separable Banach spaces via the notion of Borel reducibility in descriptive set theory (see [Bos] [FG] [FLR] [FR1] [FR2] [Me]). In general, the notion of Borel reducibility yields a hierarchy (though not linear) among equivalence relations in terms of their relative compl...
The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire sp...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید