1 paper · 1 filter
Eilon Bilinsky, Yair Hayut
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 stren…