On quasiregular structures with computable signatures

We extend the notion of HF-superstructure from the case of structures with finite signatures to the case of structures with computable signatures. It is shown that such expansions preserve some known properties of HF-superstructures. Namely, we prove that the property of quasiregularity of a structure is sufficient for qausiresolvability of the corresponding HF-superstructure.