scientific article; zbMATH DE number 3351503
From MaRDI portal
Publication:5626599
Cited in
(5)- 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
- 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 Q5626599)
