Ferro, Ruggero Interpolation theorems for \(L^{2+}_{k,k}\). (English) Zbl 0397.03019 J. Symb. Log. 43, 535-549 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 Documents MSC: 03C75 Other infinitary logic 03C40 Interpolation, preservation, definability 03C30 Other model constructions 03C85 Second- and higher-order model theory Keywords:Interpolation Theorems; Second Order Language Citations:Zbl 0365.02006 PDFBibTeX XMLCite \textit{R. Ferro}, J. Symb. Log. 43, 535--549 (1978; Zbl 0397.03019) Full Text: DOI References: [1] Generalized interpolation theorems 37 pp 343– (1972) [2] Rendiconti del Seminario Matematico dell’ Universita di Padova 55 pp 123– (1976) [3] Rendiconti del Seminario Matematico dell’Universita di Padova 54 pp 201– (1975) [4] Proceedings of the Rome Conference on Model Theory, Symposia Mathematica V pp 5– (1970) [5] Proceedings of the Tarski Symposium pp 225– (1974) [6] Two interpolation theorems for a positive second order predicate calculus 36 pp 262– (1971) [7] Fundamenta Mathematicae 57 pp 253– (1965) [8] Model theory for infinitary languages (1971) [9] Syntax and semantics of infinitary languages pp 237– (1968) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.