Recursion Theory as a Branch of Model Theory
- 1 January 1968
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 52, 63-86
- https://doi.org/10.1016/s0049-237x(08)71187-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A hierarchy of formulas in set theoryMemoirs of the American Mathematical Society, 1965
- A Comparison of Five “Computable” OperatorsMathematical Logic Quarterly, 1960
- Natural models of set theoriesFundamenta Mathematicae, 1959