I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faĭzrakhmanov
{"title":"Negative Numberings in Admissible Sets. I","authors":"I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faĭzrakhmanov","doi":"10.1134/s105513442304003x","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We construct an admissible set <span>\\(\\mathbb {A}\\)</span> such that\nthe family of all <span>\\( \\mathbb {A}\\)</span>-computably enumerable sets possesses\na negative computable <span>\\(\\mathbb {A}\\)</span>\n-numbering but lacks positive computable <span>\\(\\mathbb {A}\\)</span>\n-numberings. We also discuss the question on existence of minimal negative <span>\\(\\mathbb {A} \\)</span>-numberings.\n</p>","PeriodicalId":39997,"journal":{"name":"Siberian Advances in Mathematics","volume":"176 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Siberian Advances in Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1134/s105513442304003x","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We construct an admissible set \(\mathbb {A}\) such that
the family of all \( \mathbb {A}\)-computably enumerable sets possesses
a negative computable \(\mathbb {A}\)
-numbering but lacks positive computable \(\mathbb {A}\)
-numberings. We also discuss the question on existence of minimal negative \(\mathbb {A} \)-numberings.
期刊介绍:
Siberian Advances in Mathematics is a journal that publishes articles on fundamental and applied mathematics. It covers a broad spectrum of subjects: algebra and logic, real and complex analysis, functional analysis, differential equations, mathematical physics, geometry and topology, probability and mathematical statistics, mathematical cybernetics, mathematical economics, mathematical problems of geophysics and tomography, numerical methods, and optimization theory.