Interpolation in extensions of first-order logic

Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli

Published 2018-07-31Version 1

We provide a constructive proof of the interpolation theorem for extensions of classical first order logic with a special type of geometric axioms, called singular geometric axioms. As a corollary, we obtain a direct proof of interpolation for first-order logic with identity.