A note on the \(\Sigma_1\) spectrum of a theory

DOI10.1007/s001530200001zbMath1022.03032OpenAlexW1498008801MaRDI QIDQ1407520

Michael Möllerfeld, Michael Rathjen

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530200001

zbMATH Keywords

constructible hierarchy\(\Sigma_1\) spectruminitial segment of the ordinals

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items

Theories and ordinals in proof theory