arXiv:1910.07750 Abstract | arXiv Analytics

arXiv:1910.07750 [math.LO]Abstract References Reviews Resources

Partial combinatory algebra and generalized numberings

Published 2019-10-17Version 1

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 properties of generalized numberings, relating properties of the numbering to properties of the pca. As in the lambda calculus, extensionality is a key notion here.

Categories: math.LO, cs.LO

Subjects: 03B40, 03D45, 03D80

Keywords: partial combinatory algebra, generalized numberings, ershovs notion, lambda calculus, algebraic properties

Related articles: Most relevant | Search more

arXiv:2307.12685 [math.LO] (Published 2023-07-24)

The complexity of completions in partial combinatory algebra

Sebastiaan A. Terwijn

arXiv:2010.12452 [math.LO] (Published 2020-10-23)

Ordinal analysis of partial combinatory algebras

Paul Shafer, Sebastiaan A. Terwijn

arXiv:2409.14467 [math.LO] (Published 2024-09-22)

Nonstandard polynomials: algebraic properties and elementary equivalence