Models for recursion theory

DOI10.2307/2272391zbMath0352.02034OpenAlexW1999258767MaRDI QIDQ4121887

Johan Moldestad, Dag Normann

Publication date: 1977

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

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

Mathematics Subject Classification ID

Model theory (03C99) Higher-type and set recursion theory (03D65)

Related Items (1)

Semantics of algorithmic languages

Cites Work

• Inductively defined sets of reals

This page was built for publication: Models for recursion theory