Article contents
A simple solution to Friedman's fourth problem
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1986
References
REFERENCES
- 2
- Cited by