Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability

DOI10.2307/1995267zbMath0265.02029OpenAlexW4241874784MaRDI QIDQ5682317

Eric G. Wagner

Publication date: 1970

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1995267

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)

Related Items (8)

Limiting partial combinatory algebras ⋮ Effective applicative structures ⋮ Embeddings between partial combinatory algebras ⋮ Collapsing partial combinatory algebras ⋮ On different kinds of indefinite ⋮ Some remarks about the connections between Combinatory Logic and axiomatic recursion theory ⋮ Introduction to Turing categories ⋮ Computational foundations of basic recursive function theory

This page was built for publication: Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability