FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS

Authors

  • Jordan Zashev

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.

Downloads

Published

1998-12-12

Issue

Vol. 90 (1998): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS. (1998). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 90, 41-50. https://annual.uni-sofia.bg/index.php/fmi/article/view/285