Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory

DOI10.2178/jsl.7804060zbMath1349.03084OpenAlexW2043037428MaRDI QIDQ5407044

Wei Li

Publication date: 4 April 2014

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1388953997

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS

This page was built for publication: Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory