KFU. Card publication. Decomposition of Gödel numberings into minimal numberings

DECOMPOSITION OF GöDEL NUMBERINGS INTO MINIMAL NUMBERINGS

Form of presentation

Articles in international journals and collections

Year of publication

2025

Язык

английский

Authors, employees of KFU

Fayzrakhmanov Marat Khaydarovich, author

Bibliographic description in the original language

Faizrahmanov M. Decomposition of Gödel numberings into minimal numberings J. Symb. Logic. DOI: 10.1017/jsl.2025.10167 (2025), 19 pp.

Keywords

computable numbering, Gödel numbering, minimal numbering, positive numbering, Firedberg numbering

The name of the journal

Journal of Symbolic Logic

URL

https://doi.org/10.1017/jsl.2025.10167

Please use this ID to quote from or refer to the card

Field DC	Value	Language
dc.contributor.author	Fayzrakhmanov Marat Khaydarovich	ru_RU
dc.date.accessioned	2025-01-01T00:00:00Z	ru_RU
dc.date.available	2025-01-01T00:00:00Z	ru_RU
dc.date.issued	2025	ru_RU
dc.identifier.citation	Faizrahmanov M. Decomposition of Gödel numberings into minimal numberings J. Symb. Logic. DOI: 10.1017/jsl.2025.10167 (2025), 19 pp.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=320235&p_lang=2	ru_RU
dc.description.abstract	Journal of Symbolic Logic	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	computable numbering	ru_RU
dc.subject	Gödel numbering	ru_RU
dc.subject	minimal numbering	ru_RU
dc.subject	positive numbering	ru_RU
dc.subject	Firedberg numbering	ru_RU
dc.title	Decomposition of Gödel numberings into minimal numberings	ru_RU
dc.type	Articles in international journals and collections	ru_RU