Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Computable Structure and Non-Structure Theorems

Julia F. Knight · Algebra and Logic · 2002 · 109 citations

Computing, Computer Science, Mathematics +14

Strong and weak constructivization and computable families

A. T. Nurtazin · Algebra and Logic · 1974 · 79 citations

Computing, Computer Science, Mathematics +14

Constructive models of complete solvable theories

A. T. Nurtazin · Algebra and Logic · 1973 · 65 citations

Computing, Computer Science, Mathematics +11