Omitting types for stable ccc theories
From MaRDI portal
Publication:3970345
DOI10.2307/2274472zbMath0744.03033MaRDI QIDQ3970345
Publication date: 25 June 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274472
03C45: Classification theory, stability, and related concepts in model theory
Related Items
Omitting types in incomplete theories, A model and its subset: The uncountable case, A model and its subset
Cites Work