Conservativity spectra and generalized Ignatiev model
Logic
2022-03-17 v1
Abstract
We study a generalization of the notion of conservativity spectrum of an arithmetical theory to a language with transfinitely many truth definitions. We establish a correspondence of conservativity spectra and points of a generalized Ignatied model introduced and studied by D. Fern\'andez-Duque and J. Joosten. We also prove the so-called Schmerl formulas for iterated reflection principles of predicative strength.
Keywords
Cite
@article{arxiv.2203.08583,
title = {Conservativity spectra and generalized Ignatiev model},
author = {Lev D. Beklemishev},
journal= {arXiv preprint arXiv:2203.08583},
year = {2022}
}
Comments
9 pages