arXiv Analytics

Sign in

arXiv:1503.07982 [math.LO]AbstractReferencesReviewsResources

Axiomatizing some small classes of set functions

Toshiyasu Arai

Published 2015-03-27Version 1

In this note we axiomatize the class of rudimentary functions, one of primitive recursive functions, one of safe recursive set functions, one of predicatively computable functions augmented with an iota-operator, and relativized classes of these.

Categories: math.LO
Subjects: 03F99
Related articles:
arXiv:1601.01012 [math.LO] (Published 2016-01-05)
Perfect Set Theorems for Equivalence Relations with $I$ - small classes
arXiv:2205.05438 [math.LO] (Published 2022-05-11)
Axiomatizing the existential theory of Fp((t))
arXiv:1605.06051 [math.LO] (Published 2016-05-19)
$\mathbf{Σ_{3}^{1}}$ Generic Absoluteness, Measurability and Perfect Set Theorems for Equivalence Relations with small classes

Links

Toolbox