Title | Characterization of the structures which admit effective enumerations |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Ditchev A |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 92 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 7-16 |
ISSN | 0205-0808 |
Keywords | effective enumeration, extended effective enumeration, recursive model |
Abstract | In this paper a characterization of the partial structures with denumerable domains which admit an effective enumeration is given. |
1991/95 MSC | 03D45, 03C57 |
Attachment | Size |
---|---|
92-007-016.pdf | 934.71 KB |