Pure Recursive Model Theory

Terrence Millar. Pure Recursive Model Theory. In Edward R. Griffor, editor, Handbook of Computability Theory. Volume 140 of Studies in Logic and the Foundations of Mathematics, pages 507-532, North-Holland, 1999. [doi]

Abstract

Abstract is missing.