2023/05/07 by Eilon Bilinsky, Bilinsky, Eilon, Yair Hayut +1
Computer Science · Mathematics · #03E10 03E10 03E57 #Advanced Topology and Set Theory #Combinatorics #Computability, Logic, AI Algorithms #Consistency (knowledge bases) #Discrete mathematics #Econometrics #Epistemology #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals #Mathematics #Philosophy #Physics #Pure mathematics #Quantum mechanics #Simple (philosophy) #Spectral line #Spectrum (functional analysis) #Statistical physics #Transitive relation
paper · pdf · doi:10.48550/arxiv.2305.04244
published in arXiv (Cornell University) (Cornell University)
openalex publication_date 2023/05/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.