A unified approach to relative interpolation (Q1110503)
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: A unified approach to relative interpolation |
scientific article; zbMATH DE number 4072937
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A unified approach to relative interpolation |
scientific article; zbMATH DE number 4072937 |
Statements
A unified approach to relative interpolation (English)
0 references
1988
0 references
Although Craig's interpolation theorem does not extend to infinitary languages in general, weaker forms are known to hold in special cases. One of these weakenings - relative interpolation - consists in allowing the interpolant to belong to a stronger language. Using a modified version of the model existence theorem the author develops a general method which yields all the hitherto known relative interpolation results.
0 references
infinitary languages
0 references
relative interpolation
0 references
model existence theorem
0 references
