Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)

DOI10.1007/BF02807869zbMath0723.03017arXivmath/9201240MaRDI QIDQ757348

Saharon Shelah, Bradd Hart

Publication date: 1990

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9201240

zbMATH Keywords

relative categoricity

Mathematics Subject Classification ID

03C75: Other infinitary logic

03C35: Categoricity and completeness of theories