arXiv Analytics

Sign in

arXiv:2203.10386 [math.LO]AbstractReferencesReviewsResources

A remark about amalgamation of union of theories

Paolo Lipparini

Published 2022-03-19Version 1

We provide conditions under which the union of two first-order theories has the amalgamation property.

Comments: 10 pages
Categories: math.LO
Subjects: 03C52
Related articles: Most relevant | Search more
arXiv:0812.3489 [math.LO] (Published 2008-12-18, updated 2009-05-31)
Krull dimension of types in a class of first-order theories
arXiv:1408.3383 [math.LO] (Published 2014-08-14, updated 2015-09-19)
Tameness, Uniqueness and amalgamation
arXiv:2012.14181 [math.LO] (Published 2020-12-28)
Amalgamation in classes of involutive commutative residuated lattices

Links

Toolbox