{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2711348","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2711348","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2711348","kernelVersion":"v1","immutable":true,"modified":"2026-01-02T04:57:29Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2711348","name":"An interpolation theorem","headline":"An interpolation theorem","description":"scientific article; zbMATH DE number 1590707","url":"https://portal.mardi4nfdi.de/entity/Q2711348","datePublished":"2001-07-26","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q490671"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2795200"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2307/420966","url":"https://doi.org/10.2307/420966"},"sameAs":["https://doi.org/10.2307/420966"],"comment":"The author proves a Lyndon-like interpolation theorem where, for some fixed tuple \\(U\\) of unary predicates, all formulas under consideration have all their quantifiers explicitly relativized to one of the \\(U\\)'s. Under this stipulation, existential (resp., universal) quantification over \\(U\\) contributes a positive (resp., negative) occurrence of \\(U\\). It is shown that this interpolation theorem unifies a number of related results.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3244103"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4521281"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4081206"},{"@id":"https://portal.mardi4nfdi.de/entity/Q772218"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4777258"}]},"provenance":{"prov:generatedAtTime":"2026-01-02T04:57:29Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}