The Spectra of transitive models

Abstract

In this paper we study the spectrum of heights of transitive models of theories extending $V=L[A]$, under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible.