Arslanov M.; Chong C.; Cooper S.; Yang Y.
(2005)
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only ...