no. 3
On a new method in intuitionist linear analysis
Compositio Mathematica, Tome 26 (1973) no. 3, pp. 181-202. 
@article{CM_1973__26_3_181_0,
     author = {Shukla, Sahab Lal},
     title = {On a new method in intuitionist linear analysis},
     journal = {Compositio Mathematica},
     pages = {181--202},
     publisher = {Noordhoff International Publishing},
     volume = {26},
     number = {3},
     year = {1973},
     mrnumber = {332451},
     zbl = {0275.02037},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1973__26_3_181_0/}
}
TY  - JOUR
AU  - Shukla, Sahab Lal
TI  - On a new method in intuitionist linear analysis
JO  - Compositio Mathematica
PY  - 1973
SP  - 181
EP  - 202
VL  - 26
IS  - 3
PB  - Noordhoff International Publishing
UR  - http://archive.numdam.org/item/CM_1973__26_3_181_0/
LA  - en
ID  - CM_1973__26_3_181_0
ER  - 
%0 Journal Article
%A Shukla, Sahab Lal
%T On a new method in intuitionist linear analysis
%J Compositio Mathematica
%D 1973
%P 181-202
%V 26
%N 3
%I Noordhoff International Publishing
%U http://archive.numdam.org/item/CM_1973__26_3_181_0/
%G en
%F CM_1973__26_3_181_0
Shukla, Sahab Lal. On a new method in intuitionist linear analysis. Compositio Mathematica, Tome 26 (1973) no. 3, pp. 181-202. http://archive.numdam.org/item/CM_1973__26_3_181_0/

L.E.J. Brouwer [1] Points and spaces. Can. J. Math. 6, 1-17 (1954). | MR | Zbl

A. Heyting [2] Intuitionism, an introduction. Amsterdam 1966. | MR | Zbl

A. Heyting [3] Note on the Riesz-Fischer theorem. Proc. Kon. Ned. Ak. v. Wet. ser. A, 54 35-40 (1951). | MR | Zbl

A. Heyting [4] Espaces de Hilbert et intuitionnisme, Colloque internationaux du C.N.R.S. Paris 1953, 59-63. | MR | Zbl

A. Heyting [5] Intuïtionistische theorie der Hilbert-ruimten. (Unpublished lecture notes in Netherlandish. Amsterdam, 1949-50).

Ashvini Kumar [6] Hilbert spaces in intuitionism-Hilbertaj spacoj en intuiciismo. Thesis. Amsterdam, 1966.

Ashvini Kumar [7] Über Katalogisierte Räume. Comp. Math. 21, 431-456 (1970). | Numdam | MR | Zbl

Ashvini Kumar [8] On the intuitionist theory of Stieltjes integration and its applications. Proc. Kon. Ned. Ak. v. Wet. ser. A, 73, 62-76, (1970). | MR | Zbl

Ashvini Kumar [9] On Brouwer-Stieltjes integration. Proc. Kon. Ned. Ak. v. Wet. ser. A, 73, 161-171 (1970). | MR | Zbl

Ashvini Kumar [10] A note on quasi-numbers. (To appear.)

Ashvini Kumar and S.L. Shukla [11] Intuitionist determination of dual spaces of certain catalogued linear spaces. I., II. Proc. Kon. Ned. Ak. v. Wet. ser. A, 74, no. 3 (1971). | MR | Zbl

S.L. Shukla [12] On intuitionist analogues of classically inseparable spaces. (To appear.) | MR | Zbl

S.L. Shukla [13] On some linear spaces which coincide classically but are different intuitionistically. (To appear.) | MR | Zbl

S.L. Shukla [14] Intuitionist treatment of sequence spaces satisfying a condition of convergence, or absolute convergence or their analogues and related spaces. (To appear.)

E. Bishop [15] Foundations of constructive analysis, New York. 1967. | MR | Zbl

J.D. Hill [16] On the space (y) of convergent series, Tôhoku math. J. 45, 332-337 (1939). | JFM | Zbl

G.H. Hardy [17] Divergent series, Oxford, 1949. | MR | Zbl

G. Köthe [18] Topologische lineare Räume I., Berlin Göttingen-Heidelberg 1960. | MR | Zbl

L.V. Kantorovich and G.P. Akilov [19] Functional analysis in normed spaces. Oxford -London New York etc. 1964. (Translated from the Russian 'Funktoional'nyi analiz v normirovannykh prostranstvakh, Moscow 1959). | MR | Zbl

F. Riesz and B. Sz. Nagy [20] Leçons d'analyse fonctionnelle. Budapest 1953. | Zbl