scientific article
From MaRDI portal
Publication:4065507
zbMath0308.02016MaRDI QIDQ4065507
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Karp's interpolation theorem for some classes of infinitary languages ⋮ An analysis of Karp's interpolation theorem and the notion of k- consistency property ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) ⋮ \(\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\) ⋮ 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 ⋮ \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) ⋮ Seq-consistency property and interpolation theorems ⋮ Stability and General Logics
This page was built for publication:
