Weak reducibility of computable and generalized computable numberings

Authors

  • Zlata Ivanova Kazan (Volga Region) Federal University
  • Marat Faizrahmanov Kazan (Volga Region) Federal University

Keywords:

computable numbering, w-reducibility, A-computable numbering, Rogers semilattice.

Abstract

We consider universal and minimal computable numberings with respect to weak reducibility. A family of total functions that have a universal numbering and two non-weakly equivalent computable numberings is constructed. A sufficient condition for the non-existence of minimal A-computable numberings of families with respect to weak reducibility is found for every oracle A.

Downloads

Published

2021-05-12

Issue

Section

Mathematical logic, algebra and number theory