Extending the topological interpretation to intuitionistic analysis
Compositio Mathematica (1968)
- Volume: 20, page 194-210
- ISSN: 0010-437X
Access Full Article
top
How to cite
topScott, Dana. "Extending the topological interpretation to intuitionistic analysis." Compositio Mathematica 20 (1968): 194-210. <http://eudml.org/doc/88978>.
@article{Scott1968,
author = {Scott, Dana},
journal = {Compositio Mathematica},
keywords = {general logic},
language = {eng},
pages = {194-210},
publisher = {Wolters-Noordhoff Publishing},
title = {Extending the topological interpretation to intuitionistic analysis},
url = {http://eudml.org/doc/88978},
volume = {20},
year = {1968},
}
TY - JOUR
AU - Scott, Dana
TI - Extending the topological interpretation to intuitionistic analysis
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 194
EP - 210
LA - eng
KW - general logic
UR - http://eudml.org/doc/88978
ER -
References
top- E. Bishop [1] Foundations of Constructive Analysis, New York, 1967. Zbl0183.01503MR221878
- A. Heyting [2] Intuitionism. An Introduction, Amsterdam, 1956. Zbl0125.00510MR75147
- S.C. Kleene and R.E. Vesley [3] Foundations of Intuitionistic Mathematics, Amsterdam, 1965. Zbl0133.24601
- G. Kreisel [4] Mathematical Logic, in Lectures on Mathematics, vol. III, (ed. T. L. Saaty), New York, 1965, pp. 95-195. Zbl0147.24703MR177866
- H. Rasiowa and R. Sikorski [5] The Mathematics of Metamathematics, Warsaw, 1963. Zbl0122.24311MR163850
- A.S. Troelstra [6] The Theory of Choice Sequences, to appear. Zbl0263.02017MR252206
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.