This article is cited in 5 papers

Elimination of metarecursive in Owing's theorem

M. V. Dorzhieva

Novosibirsk State University

Abstract: Proved existence of universe and minimal $\Pi^{1}_{1}$-numerations of $\Pi^{1}_{1}$-sets and absence of Friedberg and positive $\Pi^{1}_{1}$-numerations of all $\Pi^{1}_{1}$-sets.

Keywords: enumeration, minimal numeration, Friedberg numeration, positive numeration, analytical hierarchy.

UDC: 510.5

Received: 13.05.2013