×

An analysis of Karp’s interpolation theorem and the notion of k- consistency property. (English) Zbl 0485.03014


MSC:

03C75 Other infinitary logic
03C40 Interpolation, preservation, definability
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] E. Cunningham , Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages, Infinitary Logic: in memoriam Carol Karp , Springer-Verlag , Berlin , 1975 . MR 476485
[2] R. Ferro , Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality , Rend. Sem. Mat. Univ. Padova , 55 ( 1976 ), pp. 12 - 141 . Numdam | MR 460065 | Zbl 0365.02006 · Zbl 0365.02006
[3] R. Ferro , Interpolation theorem for L2+k ,k, JSL , 53 ( 1978 ), pp. 535 - 549 . MR 503791 | Zbl 0397.03019 · Zbl 0397.03019 · doi:10.2307/2273530
[4] C.R. Karp , Infinite quantifier, languages and \omega -chains of models, Proceedings of the Tarski Symposium, American Mathematical Society , Providence , 1974 . Zbl 0308.02016 · Zbl 0308.02016
[5] J.I. Malitz , In f initary analogs of theorems from first order model theory , JSL , 36 ( 1971 ), pp. 216 - 228 . MR 290943 | Zbl 0232.02037 · Zbl 0232.02037 · doi:10.2307/2270256
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.