Reconstructing resurrection
Logic
2018-11-13 v1
Abstract
Let be an iterable weak coarse premouse and let be a premouse with Mitchell-Steel indexing, produced by a fully backgrounded -construction of . We identify and correct a problem with the process of resurrection used in the proof of iterability of .
Cite
@article{arxiv.1811.04236,
title = {Reconstructing resurrection},
author = {Farmer Schlutzenberg},
journal= {arXiv preprint arXiv:1811.04236},
year = {2018}
}
Comments
11 pages