Dense computability, upper cones, and minimal pairs

This paper concerns algorithms that give correct answers with (asymptotic) density $1$. A dense description of a function $g : \omega \to \omega$ is a partial function $f$ on $\omega$ such that $\left\{n : f(n) = g(n)\right\}$ has density $1$. We define $g$ to be densely computable if it has a parti...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Astor, Eric P, Hirschfeldt, Denis R, JockuschJr, Carl G
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!