Hydra games for recursively Mahlo operations
Logic
2018-08-15 v1
Abstract
A hydra game is proposed, and the fact that every hydra eventually die out is shown to be equivalent (over a weak arithmetic) to the 1-consistency of set theory KPM for recursively Mahlo universes.
Cite
@article{arxiv.1808.04522,
title = {Hydra games for recursively Mahlo operations},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1808.04522},
year = {2018}
}