Consistent amalgamation for þ-forking
From MaRDI portal
Publication:386624
DOI10.1016/j.apal.2013.06.021zbMath1330.03074MaRDI QIDQ386624
Publication date: 10 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.021
03C45: Classification theory, stability, and related concepts in model theory
03C10: Quantifier elimination, model completeness, and related topics
03C30: Other model constructions