Classification theory over a predicate. I
From MaRDI portal
Publication:1083445
DOI10.1305/ndjfl/1093870929zbMath0604.03011OpenAlexW2081511772MaRDI QIDQ1083445
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870929
Related Items (6)
The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ Relative categoricity in abelian groups. II ⋮ 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}\) ⋮ A model-theoretic characterization of the weak pigeonhole principle ⋮ Deflating Skolem ⋮ Stability theory, permutations of indiscernibles, and embedded finite models
This page was built for publication: Classification theory over a predicate. I