Xavier Caicedo2026-03-222026-03-22198510.1007/bfb0075304https://doi.org/10.1007/bfb0075304https://andeanlibrary.org/handle/123456789/80514Citaciones: 7enMathematicsLemma (botany)Type (biology)Extension (predicate logic)Interpolation (computer graphics)Discrete mathematicsOrder (exchange)Algebra over a fieldFailure of interpolation for quantifiers of monadic typebook-chapter