Construction of models for algebraically generalized recursive function theory

DOI10.2307/2270697zbMath0218.02035OpenAlexW2160248378MaRDI QIDQ5622173

No author found.

Publication date: 1971

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

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Indexings of subrecursive classes, On different kinds of indefinite, Effective proper procedures and universal classes of program schemata

Cites Work

• Unnamed Item
• Unnamed Item