Intuitionistic fixed point theories over set theories
Logic
2014-05-16 v3
Abstract
In this paper we show that the intuitionistic fixed point theory FiX^{i}(X) over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.
Keywords
Cite
@article{arxiv.1312.1133,
title = {Intuitionistic fixed point theories over set theories},
author = {Toshiyau Arai},
journal= {arXiv preprint arXiv:1312.1133},
year = {2014}
}