Continuous Craig Interpolation
arXiv:2412.12065
Abstract
We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures.
Version 2. Minor change in Introduction regarding Beth's Theorem
arXiv:2412.12065
We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures.
Version 2. Minor change in Introduction regarding Beth's Theorem