{ "id": "2207.09787", "version": "v1", "published": "2022-07-20T10:05:03.000Z", "updated": "2022-07-20T10:05:03.000Z", "title": "Some definable types that cannot be amalgamated", "authors": [ "Martin Hils", "Rosario Mennuni" ], "comment": "4 pages", "categories": [ "math.LO" ], "abstract": "We exhibit a theory where definable types lack the amalgamation property.", "revisions": [ { "version": "v1", "updated": "2022-07-20T10:05:03.000Z" } ], "analyses": { "subjects": [ "03C45", "03C30" ], "keywords": [ "definable types lack", "amalgamation property" ], "note": { "typesetting": "TeX", "pages": 4, "language": "en", "license": "arXiv", "status": "editable" } } }