@article{CM_1965-1966__17__40_0,
     author = {Moschovakis, Yiannis N.},
     title = {Notation systems and recursive ordered fields},
     journal = {Compositio Mathematica},
     pages = {40--71},
     publisher = {Kraus Reprint},
     volume = {17},
     year = {1965-1966},
     mrnumber = {181569},
     zbl = {0143.01303},
     language = {en},
     url = {http://www.numdam.org/item/CM_1965-1966__17__40_0/}
}