Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073)
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: Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) |
scientific article; zbMATH DE number 60480
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) |
scientific article; zbMATH DE number 60480 |
Statements
Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (English)
0 references
27 September 1992
0 references
This paper is concerned with elaborations of the use of Carol Karp's chain models [\textit{C. Karp}, Proc. Tarski Symp., Berkeley 1971, Proc. Symp. Pure Math. 25, 225-232 (1974; Zbl 0308.02016)] in proving interpolation theorems for infinitary logics, and it extends earlier work by the author. The author proves an interpolation theorem in the style of \textit{S. Maehara} and \textit{G. Takeuti} [J. Symb. Log. 36, 262-270 (1971; Zbl 0278.02013)] for infinitary positive second-order logic. The main technical considerations are related to problems of working with constant symbols.
0 references
chain models
0 references
interpolation theorems for infinitary logics
0 references
infinitary positive second-order logic
0 references
