Compactness, interpolation and Friedman's third problem

DOI10.1016/0003-4843(82)90021-3zbMath0495.03020OpenAlexW2073507819MaRDI QIDQ3958442

Daniele Mundici

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

zbMATH Keywords

Robinson's consistency propertysoft model theoryLoewenheim number

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items

Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Geometry of Robinson consistency in Łukasiewicz logic, Karp's interpolation theorem for some classes of infinitary languages, Duality Between Logics and Equivalence Relations, Harmonious logic: Craig's interpolation theorem and its descendants, A lower bound for the complexity of Craig's interpolants in sentential logic