Axiomatizing some small classes of set functions

2015/03/27 by Arai, Toshiyasu
#03F99 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1503.07982

Abstract

In this note we axiomatize the classes of rudimentary functions, primitive recursive functions, safe recursive set functions, and predicatively computable functions.

Related

• Predicatively computable functions on sets
• Naive Axiomatic Class Theory: A Solution for the Antinomies of Naive Mengenlehre
• On the existence of certain total recursive functions in nontrivial axiom systems, I
• Sets, the Axiom of Choice, And All That: A Tutorial
• Classical Set Theory: Theory of Sets and Classes