1 citations · 1 across the 4 of their papers we have counts for
4 papers
Structures in Familiar Classes Which Have Scott Rank
Wesley Calvert, Sergey S. Goncharov, Julia F. Knight
There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, which have Scott rank…
Index Sets of Computable Structures
Wesley Calvert, Valentina S. Harizanov, Julia F. Knight +1
The \emph{index set} of a computable structure is the set of indices for computable copies of . We determine the complexity of the index sets of various…
Classification from a Computable Viewpoint
Wesley Calvert, Julia F. Knight
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important…
Computable structures of rank omega_1^{CK}
Julia Knight, Jessica Millar
We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable…