FE and iO for Turing machines from minimal assumptions
scientific article; zbMATH DE number 6989752
scientific article