DOI

We state some general facts on r.e. structures, e.g. we show that the free countable structures in quasivarieties are r.e. and construct acceptable numerations and universal r.e. structures in quasivarieties. The last facts are similar to the existence of acceptable numerations of r.e. sets and creative sets. We state a universality property of the acceptable numerations, classify some index sets and discuss their relation to other decision problems. These results show that the r.e. structures behave in some respects better than the recursive structures.
Язык оригиналаанглийский
Страницы (с-по)243-258
Число страниц16
ЖурналAnnals of Pure and Applied Logic
Том78
Номер выпуска1-3
DOI
СостояниеОпубликовано - 4 апр 1996

ID: 127141515