КФУ. Карточка публикации. Decomposition of Gödel numberings into minimal numberings

RUS

DECOMPOSITION OF GöDEL NUMBERINGS INTO MINIMAL NUMBERINGS

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2025

Язык

английский

Авторы, сотрудники КФУ

Файзрахманов Марат Хайдарович, автор

Библиографическое описание на языке оригинала

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

Ключевые слова

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

Название журнала

Journal of Symbolic Logic

URL

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

Поле DC	Значение	Язык
dc.contributor.author	Файзрахманов Марат Хайдарович	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/?p_id=320235	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	Статьи в зарубежных журналах и сборниках	ru_RU