| Title | $\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES |
| Publication Type | Journal Article |
| Year of Publication | 1998 |
| Authors | Nikolova S |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 90 |
| Issue | Livre 1 - Mathématiques et Mecanique |
| Pagination | 91-108 |
| ISSN | 0205-0808 |
| Keywords | inductive definability, non-deterministic computability, points of $\forall$-definedness, prime computability |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 90-091-108.pdf | 1.65 MB |