Comparing the strength of diagonally Nonrecursive Functions in the Absence of ${\RM{\Sigma }}_2^0$ Induction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

François G. Dorais, Jeffry L. Hirst, Paul Shafer. Comparing the strength of diagonally Nonrecursive Functions in the Absence of ${\RM{\Sigma }}_2^0$ Induction. Journal of Symbolic Logic, 80(4):1211-1235, 2015. [doi]

This author has not been identified. Look up 'François G. Dorais' in GoogleThis author has not been identified. Look up 'Jeffry L. Hirst' in GoogleThis author has not been identified. Look up 'Paul Shafer' in Google

runs on WebDSL