Models of Arithmetic and recursive functions |
| |
Authors: | J Hirschfeld |
| |
Institution: | 1. Department of Mathematical Sciences, Tel Aviv University, Tel Aviv, Israel
|
| |
Abstract: | We investigate homomorphic images of the semiring of recursive functions as models of the Π2 fragment of Arithmetic, and some relations between this fragment, its models and recursion theory. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|