Recursive Functions Modulo

@inproceedings{Lerman2010RecursiveFM,
  title={Recursive Functions Modulo},
  author={Manuel Lerman},
  year={2010}
}
Define the equivalence relation ~ A on the set of recursive functions of one variable byf~Ag if and only iff([x)=g(x) for all but finitely many x e Ä, where A is an r-cohesive set, to obtain the structure ¡%\A. Then the recursive functions modulo such an equivalence relation form a semiring with no zero divisors. It is shown that if A is /--maximal, then the structure obtained above is not a nonstandard model for arithmetic, a result due to Feferman, Scott, and Tennenbaum. Furthermore, if A and… CONTINUE READING