Characterization of the structures which admit effective enumerations

Authors

  • Angel Ditchev

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.

Downloads

Published

2000-12-12

How to Cite

Ditchev, A. (2000). Characterization of the structures which admit effective enumerations. Ann. Sofia Univ. Fac. Math. And Inf., 92, 7–16. Retrieved from https://stipendii.uni-sofia.bg/index.php/fmi/article/view/251