Some definable types that cannot be amalgamated
Logic
2025-03-14 v1
Abstract
We exhibit a theory where definable types lack the amalgamation property.
Cite
@article{arxiv.2207.09787,
title = {Some definable types that cannot be amalgamated},
author = {Martin Hils and Rosario Mennuni},
journal= {arXiv preprint arXiv:2207.09787},
year = {2025}
}
Comments
4 pages