MONOTONE INDUCTIVE DEFINITIONS IN A CONSTRUCTIVE THEORY OF FUNCTIONS AND CLASSES

[1] ACZEL P, 1977, HDB MATH LOGIC, P739

[2] Feferman S., 1979, Logic Colloquium 78, P159

[3] FEFERMAN S, 1981, LECT NOTES MATH, V897, P78

[4] FEFERMAN S, 1981, SPRINGER LECT NOTES, V897, P16

[5] FEFERMAN S, 1975, LECT NOTES MATH, V450, P87

[6] Feferman S., 1982, LEJ BROUWER CENTENAR, P77

[7] FEFERMAN S, 1978, GEN RECURSION THEORY, V2, P55

[8] Hinman PG, 1978, RECURSION THEORETIC, DOI DOI 10.1007/978-3-662-12898-5

[9] Jager G., 1982, SITZUNGSBERICHTE BAY, P1

[10] MOSCHOVAKIS YN, 1969, T AM MATH SOC, V138, P427, DOI 10.2307/1994926

[1] ACZEL P, 1977, HDB MATH LOGIC, P739

[2] Feferman S., 1979, Logic Colloquium 78, P159

[3] FEFERMAN S, 1981, LECT NOTES MATH, V897, P78

[4] FEFERMAN S, 1981, SPRINGER LECT NOTES, V897, P16

[5] FEFERMAN S, 1975, LECT NOTES MATH, V450, P87

[6] Feferman S., 1982, LEJ BROUWER CENTENAR, P77

[7] FEFERMAN S, 1978, GEN RECURSION THEORY, V2, P55

[8] Hinman PG, 1978, RECURSION THEORETIC, DOI DOI 10.1007/978-3-662-12898-5

[9] Jager G., 1982, SITZUNGSBERICHTE BAY, P1

[10] MOSCHOVAKIS YN, 1969, T AM MATH SOC, V138, P427, DOI 10.2307/1994926