𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive Dimension and Turing Degrees

✍ Scribed by Laurent Bienvenu; David Doty; Frank Stephan

Publisher
Springer
Year
2009
Tongue
English
Weight
370 KB
Volume
45
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Splinters and turing degrees
Splinters and turing degrees
✍ A. V. Plyasunov πŸ“‚ Article πŸ“… 1979 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 173 KB
A characterization of constructive dimen
A characterization of constructive dimension
✍ Satyadev Nandakumar πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 173 KB

## Abstract In the context of Kolmogorov's algorithmic approach to the foundations of probability, Martin‐LΓΆf defined the concept of an individual random sequence using the concept of a constructive measure 1 set. Alternate characterizations use constructive martingales and measures of impossibilit

On Turing degrees of points in computabl
On Turing degrees of points in computable topology
✍ Iraj Kalantari; Larry Welch πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 169 KB

## Abstract This paper continues our study of computable point‐free topological spaces and the metamathematical points in them. For us, a __point__ is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a __sharp filter__. A function __f~F~__