scientific article; zbMATH DE number 3351503
From MaRDI portal
Publication:5626599
zbMath0222.02008MaRDI QIDQ5626599
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Karp's interpolation theorem for some classes of infinitary languages ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) ⋮ Limits to some interpolation theorems ⋮ 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
This page was built for publication: