research
∙
07/24/2023
The complexity of completions in partial combinatory algebra
We discuss the complexity of completions of partial combinatory algebras...
share
research
∙
01/28/2021
Fixpoints and relative precompleteness
We study relative precompleteness in the context of the theory of number...
research
∙
10/23/2020
Ordinal analysis of partial combinatory algebras
For every partial combinatory algebra (pca), we define a hierarchy of ex...
research
∙
08/11/2017
Normalized Information Distance and the Oscillation Hierarchy
We study the complexity of approximations to the normalized information ...
research
∙
06/16/2010