TRANSFINITE INDUCTION AND BAR INDUCTION OF TYPES ZERO AND 1 AND ROLE OF CONTINUITY IN INTUITIONISTIC ANALYSIS

[1] POINTS AND SPACES [J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1954, 6 (01): : 1 - 17

[2] The domains of functions [J]. MATHEMATISCHE ANNALEN, 1927, 97 : 60 - 75

[3] FEFERMAN S, 1963, NOTICES AM MATH SOC, V0010, P00593

[4] GENTZEN G, 1938, FORSCHUNGEN LOGIK GR

[5] Godel K., 1958, DIALECTICA, V12, P280, DOI DOI 10.1111/J.1746-8361.1958.TB01464.X)

[6] Heyting A., 1959, CONSTRUCTIVITY MATH, P81

[7] Kleene S. C., 1955, T AM MATH SOC, V79, P312, DOI DOI 10.2307/1993033

[8] KLEENE SC, 1965, FOUNDATIONS INTUITIO

[9] KLEENE SC, 1952, INTRODUCTION METAMAT

[10] KLEENE SC, 1952, 1950 P INT C MATH CA, V1, P679

[1] POINTS AND SPACES [J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1954, 6 (01): : 1 - 17

[2] The domains of functions [J]. MATHEMATISCHE ANNALEN, 1927, 97 : 60 - 75

[3] FEFERMAN S, 1963, NOTICES AM MATH SOC, V0010, P00593

[4] GENTZEN G, 1938, FORSCHUNGEN LOGIK GR

[5] Godel K., 1958, DIALECTICA, V12, P280, DOI DOI 10.1111/J.1746-8361.1958.TB01464.X)

[6] Heyting A., 1959, CONSTRUCTIVITY MATH, P81

[7] Kleene S. C., 1955, T AM MATH SOC, V79, P312, DOI DOI 10.2307/1993033

[8] KLEENE SC, 1965, FOUNDATIONS INTUITIO

[9] KLEENE SC, 1952, INTRODUCTION METAMAT

[10] KLEENE SC, 1952, 1950 P INT C MATH CA, V1, P679