Mahlo classes for first-order reflections
Logic
2019-10-16 v1
Abstract
In this note we axiomatize the -consequences in the set theory for -reflecting universes in terms of iterations of -recursively Mahlo operations for .
Cite
@article{arxiv.1910.06520,
title = {Mahlo classes for first-order reflections},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1910.06520},
year = {2019}
}