\(\aleph_0\)-categoricity over a predicate
From MaRDI portal
Publication:1167155
DOI10.1305/NDJFL/1093870455zbMath0491.03009OpenAlexW2055639305MaRDI QIDQ1167155
Publication date: 1983
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870455
Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)
Related Items (6)
Abelian groups \(\aleph_ 0\)-categorical over a subgroup ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup ⋮ 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}\) ⋮ Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup ⋮ A model-theoretic characterization of the weak pigeonhole principle
This page was built for publication: \(\aleph_0\)-categoricity over a predicate
