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