3 citations · 6 across the 18 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
math.LO2008
Effective categoricity of Abelian p-groups
W. Calvert, D. Cenzer, V. S. Harizanov +1
Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian…
math.LO2008
Effective categoricity of equivalence Structures
W. Calvert, D. Cenzer, V. S. Harizanov +1
An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $…
math.LO2008
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…