Two interpolation theorems for a predicate calculus

DOI10.2307/2270261MaRDI QIDQ4405133zbMATH OpenOpenAlexFDO

Authors 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)

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
• Seq-consistency property and interpolation theorems

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

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