An interpolation theorem (Q2711348)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An Interpolation Theorem |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An interpolation theorem |
scientific article |
Statements
26 July 2001
0 references
Lyndon-interpolant
0 references
Craig-interpolation
0 references
interpolation theorem
0 references
An interpolation theorem (English)
0 references
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.
0 references
