×

Interpolation theorems for \(L^{2+}_{k,k}\). (English) Zbl 0397.03019


MSC:

03C75 Other infinitary logic
03C40 Interpolation, preservation, definability
03C30 Other model constructions
03C85 Second- and higher-order model theory

Citations:

Zbl 0365.02006
PDFBibTeX XMLCite
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.