Compactness, interpolation and Friedman's third problem
From MaRDI portal
Publication:3958442
DOI10.1016/0003-4843(82)90021-3zbMath0495.03020MaRDI QIDQ3958442
Publication date: 1982
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(82)90021-3
03C80: Logic with extra quantifiers and operators
03C40: Interpolation, preservation, definability
03C75: Other infinitary logic
03C95: Abstract model theory
Related Items
A lower bound for the complexity of Craig's interpolants in sentential logic, Karp's interpolation theorem for some classes of infinitary languages, Harmonious logic: Craig's interpolation theorem and its descendants, Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Geometry of Robinson consistency in Łukasiewicz logic, Duality Between Logics and Equivalence Relations