Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 51, Issue 3 (1986), 778-784.
A Simple Solution to Friedman's Fourth Problem
It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.
J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Caicedo, Xavier. A Simple Solution to Friedman's Fourth Problem. J. Symbolic Logic 51 (1986), no. 3, 778--784. https://projecteuclid.org/euclid.jsl/1183742173