@article{CM_1968__20__194_0, author = {Scott, Dana}, title = {Extending the topological interpretation to intuitionistic analysis}, journal = {Compositio Mathematica}, volume = {20}, year = {1968}, pages = {194-210}, mrnumber = {228331}, zbl = {0197.00201}, language = {en}, url = {http://dml.mathdoc.fr/item/CM_1968__20__194_0} }
Scott, Dana. Extending the topological interpretation to intuitionistic analysis. Compositio Mathematica, Tome 20 (1968) pp. 194-210. http://gdmltest.u-ga.fr/item/CM_1968__20__194_0/
Foundations of Constructive Analysis, New York, 1967. | MR 221878 | Zbl 0183.01503
[1]Intuitionism. An Introduction, Amsterdam, 1956. | MR 75147 | Zbl 0070.00801 | Zbl 0125.00510
[2]Foundations of Intuitionistic Mathematics, Amsterdam, 1965. | Zbl 0133.24601
and [3]Mathematical Logic, in Lectures on Mathematics, vol. III, (ed. T. L. Saaty), New York, 1965, pp. 95-195. | MR 177866 | Zbl 0147.24703
[4]The Mathematics of Metamathematics, Warsaw, 1963. | MR 163850 | Zbl 0122.24311
and [5]The Theory of Choice Sequences, to appear. | MR 252206 | Zbl 0185.01002 | Zbl 0263.02017
[6]