Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations

Computable Structure and Non-Structure Theorems

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

Computing, Computer Science, Mathematics +14

Problem of the number of non-self-equivalent constructivizations

Algebra and Logic · 1980 · 94 citations

Natural Sciences, Mathematics, Combinatorics +4

Strong and weak constructivization and computable families

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

Computing, Computer Science, Mathematics +14

Index sets of decidable models

Ekaterina Fokina · Siberian Mathematical Journal · 2007 · 18 citations

Computing, Computer Science, Mathematics +11

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

M. I. Marchuk · Algebra and Logic · 2015 · 13 citations

Natural Sciences, Computer Science, Mathematics +7