Universality and Almost Decidability

DOI10.3233/FI-2015-1199zbMath1335.68086arXiv1505.01340MaRDI QIDQ2805447

Damien Desfontaines, Cristian S. Calude

Publication date: 11 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.01340

zbMATH Keywords

densityuniversal functionhalting setalmost decidable setgeneric and negligible sets

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

This page was built for publication: Universality and Almost Decidability