Axiomatizing some small classes of set functions
classification
🧮 math.LO
keywords
functionsclassesrecursiveaxiomatizeaxiomatizingcomputablenotepredicatively
read the original abstract
In this note we axiomatize the classes of rudimentary functions, primitive recursive functions, safe recursive set functions, and predicatively computable functions.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.