Axiomatizing some small classes of set functions
Logic
2018-11-28 v3
Abstract
In this note we axiomatize the classes of rudimentary functions, primitive recursive functions, safe recursive set functions, and predicatively computable functions.
Cite
@article{arxiv.1503.07982,
title = {Axiomatizing some small classes of set functions},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1503.07982},
year = {2018}
}
Comments
There is a flaw in the proof of Lemma 4.4, p.21. It misses the Case 1 in p.12 for (pair),(union), and separation