The existence of an extension of first order logic satisfying both the Compactness Theorem and the Interpolation Theorem is an open or solved question?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
0
|
|||||||||||
|
