| Заглавие | FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS |
| Вид публикация | Journal Article |
| Година на публикуване | 1998 |
| Автори | Zashev J |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 90 |
| Issue | Livre 1 - Mathématiques et Mecanique |
| Pagination | 41-50 |
| ISSN | 0205-0808 |
| ключови думи | Algebraic recursion theory, axiomatic recursion theory, combinatory algebras |
| Резюме | A modification of recursion theorem in Cartesian linear combinatory algebras is proved which yields first order formalizability of theory of the last algebras. Some other improvements of this theory are demonstrated. |
| 1991/95 MSC | 03D75 |
| Прикачен файл | Размер |
|---|---|
 90-041-050.pdf | 946.7 KB |