Two interpolation theorems for a predicate calculus

DOI10.2307/2270261zbMath0278.02013OpenAlexW2067296028MaRDI QIDQ4405133

Shôji Maehara, Gaisi Takeuti

Publication date: 1971

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270261

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other infinitary logic (03C75)

Related Items (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 ⋮ Seq-consistency property and interpolation theorems

This page was built for publication: Two interpolation theorems for a predicate calculus