Conservativity spectra and generalized Ignatiev model

Lev D. Beklemishev

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…