The Spectra of transitive models
Logic
2023-05-09 v1
Abstract
In this paper we study the spectrum of heights of transitive models of theories extending , under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible.
Keywords
Cite
@article{arxiv.2305.04244,
title = {The Spectra of transitive models},
author = {Eilon Bilinsky and Yair Hayut},
journal= {arXiv preprint arXiv:2305.04244},
year = {2023}
}