| Заглавие | $\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES |
| Вид публикация | Journal Article |
| Година на публикуване | 1998 |
| Автори | Nikolova S |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 90 |
| Issue | Livre 1 - Mathématiques et Mecanique |
| Pagination | 91-108 |
| ISSN | 0205-0808 |
| ключови думи | inductive definability, non-deterministic computability, points of $\forall$-definedness, prime computability |
| Резюме | Inductive definability by means of $\prod_{1}^{0}$-positive formulas is studied in the paper. An explicit characterization of the $\prod_{1}^{0}$-positive inductive sets on an arbitrary abstract structure with equality is presented. A relationship between these sets and the sets of all points of $\forall$-definedness of non-deterministic programs is established. |
| 1991/95 MSC | 03D70, 03D75 |
| Прикачен файл | Размер |
|---|---|
 90-091-108.pdf | 1.65 MB |