@article{CM_1973__26_3_261_0,
     author = {Moschovakis, Joan Rand},
     title = {A topological interpretation of second-order intuitionistic arithmetic},
     journal = {Compositio Mathematica},
     pages = {261--275},
     publisher = {Noordhoff International Publishing},
     volume = {26},
     number = {3},
     year = {1973},
     mrnumber = {357076},
     zbl = {0279.02018},
     language = {en},
     url = {http://www.numdam.org/item/CM_1973__26_3_261_0/}
}