Search

Subjects

Mathematics

(2)

Events

Content Types

Working Paper

(2)

Partners

Cambridge Open Engage

(2)

Keywords

computable function

Authors

2 results in Keywords: computable function

There exists a non-recursively enumerable set {n∈N: φ(n)} which is co-recursively enumerable, where the formula φ(n) is short and can be easily translated into a first-order formula in Peano arithmetic

Apoloniusz Tyszka

Version 6 posted 12 May 2026

131

Downloads

by Cambridge Open Engage

A short program in MuPAD that computes in the limit a function f:N→N which eventually dominates every computable function g:N→N

Apoloniusz Tyszka

Version 1 posted 08 September 2025

217

Downloads

by Cambridge Open Engage