research
∙
08/14/2023
Exploring the abyss in Kleene's computability theory
Kleene's computability theory based on the S1-S9 computation schemes con...
share
research
∙
02/14/2023
The non-normal abyss in Kleene's computability theory
Kleene's computability theory based on his S1-S9 computation schemes con...
research
∙
06/25/2022
On the computational properties of the uncountability of the real numbers
The uncountability of the real numbers is one of their most basic proper...
research
∙
03/10/2022
On the computational properties of basic mathematical notions
We investigate the computational properties of basic mathematical notion...
research
∙
09/03/2021
Betwixt Turing and Kleene
Turing's famous 'machine' model constitutes the first intuitively convin...
research
∙
08/15/2019
Lifting countable to uncountable mathematics
Ordinary, i.e.non-set theoretic mathematics is generally formalised in s...
research
∙
08/15/2019
Lifting recursive counterexamples to higher-order arithmetic
In classical computability theory, a recursive counterexample to a theor...
research
∙
05/10/2019