Failure of interpolation for quantifiers of monadic type

Simple item page
dc.contributor.authorXavier Caicedo
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T20:11:22Z
dc.date.available2026-03-22T20:11:22Z
dc.date.issued1985
dc.descriptionCitaciones: 7
dc.identifier.doi10.1007/bfb0075304
dc.identifier.urihttps://doi.org/10.1007/bfb0075304
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/80514
dc.language.isoen
dc.publisherSpringer Nature
dc.relation.ispartofLecture notes in mathematics
dc.sourceUniversidad de Los Andes
dc.subjectMathematics
dc.subjectLemma (botany)
dc.subjectType (biology)
dc.subjectExtension (predicate logic)
dc.subjectInterpolation (computer graphics)
dc.subjectDiscrete mathematics
dc.subjectOrder (exchange)
dc.subjectAlgebra over a field
dc.titleFailure of interpolation for quantifiers of monadic type
dc.typebook-chapter

Files

Collections

Capítulos de Libro