scientific article; zbMATH DE number 3891338

MaRDI QIDQ3347865zbMATH OpenFDO

Authors Milan Z. Grulović

Publication date 1982

zbMATH Keywords

model theoretic forcing

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Recommendations

• scientific article; zbMATH DE number 3855082
• Karp's interpolation theorem for some classes of infinitary languages
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
• Completeness by forcing
• \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)

Cited in

(4)

• scientific article; zbMATH DE number 3855082 (Why is no real title available?)
• scientific article; zbMATH DE number 903095 (Why is no real title available?)
• \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
• Karp's interpolation theorem for some classes of infinitary languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347865)