Standard

On recursively enumerable structures. / Selivanov, Victor.

In: Annals of Pure and Applied Logic, Vol. 78, No. 1-3, 04.04.1996, p. 243-258.

Research output: Contribution to journal › Article › peer-review

Harvard

Selivanov, V 1996, 'On recursively enumerable structures', Annals of Pure and Applied Logic, vol. 78, no. 1-3, pp. 243-258. https://doi.org/10.1016/0168-0072(94)00050-6

APA

Selivanov, V. (1996). On recursively enumerable structures. Annals of Pure and Applied Logic, 78(1-3), 243-258. https://doi.org/10.1016/0168-0072(94)00050-6

Vancouver

Selivanov V. On recursively enumerable structures. Annals of Pure and Applied Logic. 1996 Apr 4;78(1-3):243-258. https://doi.org/10.1016/0168-0072(94)00050-6

Author

Selivanov, Victor. / On recursively enumerable structures. In: Annals of Pure and Applied Logic. 1996 ; Vol. 78, No. 1-3. pp. 243-258.

BibTeX

@article{cb5647d74c944629af2e83062965801a,
title = "On recursively enumerable structures",
abstract = "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.",
author = "Victor Selivanov",
year = "1996",
month = apr,
day = "4",
doi = "10.1016/0168-0072(94)00050-6",
language = "English",
volume = "78",
pages = "243--258",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "1-3",

}

RIS

TY - JOUR

T1 - On recursively enumerable structures

AU - Selivanov, Victor

PY - 1996/4/4

Y1 - 1996/4/4

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030568393&partnerID=8YFLogxK

U2 - 10.1016/0168-0072(94)00050-6

DO - 10.1016/0168-0072(94)00050-6

M3 - Article

AN - SCOPUS:0030568393

VL - 78

SP - 243

EP - 258

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 1-3

ER -

ID: 127141515