Computable Positive and Friedberg Numberings in Hyperarithmetic › Research Explorer

Novosibirsk State University's Research Portal

Computable Positive and Friedberg Numberings in Hyperarithmetic

Research output: Contribution to journal › Article › peer-review

Informatics Systems Section

DOI

https://doi.org/10.1007/s10469-020-09578-9
Final published version

I. Sh Kalimullin
V. G. Puzarenko
M. Kh Faizrakhmanov

Original language	English
Pages (from-to)	46-58
Number of pages	13
Journal	Algebra and Logic
Volume	59
Issue number	1
DOIs	https://doi.org/10.1007/s10469-020-09578-9
Publication status	Published - 1 Mar 2020

OECD FOS+WOS

Research areas

admissible set, analytical hierarchy, computable numbering, Friedberg numbering, negative numbering, positive numbering, FAMILIES, PRESENTATIONS

ID: 24615904