| Title | FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS |
| Publication Type | Journal Article |
| Year of Publication | 1998 |
| Authors | Zashev J |
| 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 | 41-50 |
| ISSN | 0205-0808 |
| Keywords | Algebraic recursion theory, axiomatic recursion theory, combinatory algebras |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 90-041-050.pdf | 946.7 KB |