On upper bounds of recursively enumerable sets of constructive real numbers (Russian). Ceĭtin, G. Tr.\ Mat.\ Inst.\ Steklov, 113:102–172, 1970. bibtex @ARTICLE{Cei70,
author = {Ce{\u{\i}}tin, G.S.},
title = {On upper bounds of recursively enumerable sets of constructive real
numbers ({R}ussian)},
journal = {Tr.\ Mat.\ Inst.\ Steklov},
year = {1970},
volume = {113},
pages = {102--172},
keywords = {bib,rus}
}
Downloads: 0
{"_id":"qKo7dQF4FdpGuLAet","bibbaseid":"cetin-onupperboundsofrecursivelyenumerablesetsofconstructiverealnumbersrussian-1970","authorIDs":[],"author_short":["Ceĭtin, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ceĭtin"],"firstnames":["G.S."],"suffixes":[]}],"title":"On upper bounds of recursively enumerable sets of constructive real numbers (Russian)","journal":"Tr.\\ Mat.\\ Inst.\\ Steklov","year":"1970","volume":"113","pages":"102–172","keywords":"bib,rus","bibtex":"@ARTICLE{Cei70,\r\n author = {Ce{\\u{\\i}}tin, G.S.},\r\n title = {On upper bounds of recursively enumerable sets of constructive real\r\n\tnumbers ({R}ussian)},\r\n journal = {Tr.\\ Mat.\\ Inst.\\ Steklov},\r\n year = {1970},\r\n volume = {113},\r\n pages = {102--172},\r\n keywords = {bib,rus}\r\n}\r\n\r\n","author_short":["Ceĭtin, G."],"key":"Cei70","id":"Cei70","bibbaseid":"cetin-onupperboundsofrecursivelyenumerablesetsofconstructiverealnumbersrussian-1970","role":"author","urls":{},"keyword":["bib","rus"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.550Z","downloads":0,"keywords":["bib","rus"],"search_terms":["upper","bounds","recursively","enumerable","sets","constructive","real","numbers","russian","ceĭtin"],"title":"On upper bounds of recursively enumerable sets of constructive real numbers (Russian)","year":1970,"dataSources":["t7rKiAbxugj4Agz8M"]}