The existence of an extension of first order logic satisfying both the Compactness Theorem and the Interpolation Theorem is an open or solved question?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
