Formal systems for some branches of intuitionistic analysis
- 1 January 1970
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 1 (3) , 229-387
- https://doi.org/10.1016/0003-4843(70)90001-x
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- An extension of Schütte's KlammersymbolsMathematische Annalen, 1967
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962
- A remark on free choice sequences and the topological completeness proofsThe Journal of Symbolic Logic, 1958
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- BLICK VON DER INTUITIONISTISCHEN WARTEDialectica, 1958
- Points and SpacesCanadian Journal of Mathematics, 1954
- On the interpretation of intuitionistic number theoryThe Journal of Symbolic Logic, 1945
- ber Definitionsbereiche von- FunktionenMathematische Annalen, 1927
- Zur Begr ndung der intuitionistischen Mathematik. IIIMathematische Annalen, 1927