1 paper · 2 filters
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…