×

zbMATH — the first resource for mathematics

Second order logic and first order theories of reducibility orderings. (English) Zbl 0465.03024
The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math., Vol. 101, 181-200 (1980).

MSC:
03D30 Other degrees and reducibilities in computability and recursion theory
03B15 Higher-order logic; type theory (MSC2010)