@ARTICLE{Myh53, author = {Myhill, John}, title = {Criteria of constructibility for real numbers}, journal = JSL, year = {1953}, volume = {18}, pages = {7--10}, number = {1}, keywords = {bib,cca} }