Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations

Degrees coded in jumps of orderings

Julia F. Knight · Journal of Symbolic Logic · 1986 · 151 citations

Natural Sciences, Computer Science, Mathematics +7

Computable Structure and Non-Structure Theorems

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

Computing, Computer Science, Mathematics +14

Comparing Classes of Finite Structures

Wesley Calvert, Desmond Cummins, Julia F. Knight et al. · Algebra and Logic · 2004 · 72 citations

Engineering, Computer Science, Finite Element Analysis +9

Turing computable embeddings

Julia F. Knight, Sara Miller, Michael Vanden Boom · Journal of Symbolic Logic · 2007 · 56 citations

Computing, Computer Science, Mathematics +9

Index sets of decidable models

Ekaterina Fokina · Siberian Mathematical Journal · 2007 · 18 citations

Computing, Computer Science, Mathematics +11