Notre Dame Journal of Formal Logic

Elementary formal systems as a framework for relative recursion theory.

Bruce M. Horowitz

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 23, Number 1 (1982), 39-52.

Dates
First available in Project Euclid: 30 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093883564

Zentralblatt MATH identifier
0442.03030

Mathematical Reviews number (MathSciNet)
MR634742

Digital Object Identifier
doi:10.1305/ndjfl/1093883564

Subjects
Primary: 03D25: Recursively (computably) enumerable sets and degrees
Secondary: 03D20: Recursive functions and relations, subrecursive hierarchies

Citation

Horowitz, Bruce M. Elementary formal systems as a framework for relative recursion theory. Notre Dame Journal of Formal Logic 23 (1982), no. 1, 39--52. doi:10.1305/ndjfl/1093883564. http://projecteuclid.org/euclid.ndjfl/1093883564.


Export citation