3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.LO2019★ 3 cited
Cohesive Powers of Linear Orders
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov +3
Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of…
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 $…