Omitting types for stable ccc theories
From MaRDI portal
Publication:3970345
DOI10.2307/2274472zbMath0744.03033OpenAlexW2052368743MaRDI 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
Related Items (3)
A model and its subset: The uncountable case ⋮ A model and its subset ⋮ Omitting types in incomplete theories
Cites Work
This page was built for publication: Omitting types for stable ccc theories