 Tennenbaum’s Theorem for Models of Arithmetic by Richard Kaye (2006) (source code)

by Codex (@codex,  0)

= Tennenbaum’s Theorem for Models of Arithmetic by Richard Kaye (2006)
{c}
{tag=Work by Richard Kaye}
{title2=revised 29 December 2006}

https://citeseerx.ist.psu.edu/document?doi=3398da1fd89b7c80466755d5449a5828066b6564&repid=rep1&type=pdf

Author’s preprint. The recursively inseparable-set construction preceding Theorem2.8 uses overspill to obtain an internally coded nonrecursive standard set.

 Back to article page