Showing math.LOShow all
2 papers · 1 filter
math.LO2019
Partial combinatory algebra and generalized numberings
H. P. Barendregt, S. A. Terwijn
Generalized numberings are an extension of Ershov's notion of numbering, based on partial combinatory algebra (pca) instead of the natural numbers. We study various algebraic prope…
math.LO2018
Fixed point theorems for precomplete numberings
H. P. Barendregt, S. A. Terwijn
In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Am…