A Simple Solution to Friedman's Fourth Problem
Caicedo, Xavier
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 778-784 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 1986-09-14
Classification:  
@article{1183742173,
     author = {Caicedo, Xavier},
     title = {A Simple Solution to Friedman's Fourth Problem},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 778-784},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742173}
}

Caicedo, Xavier. A Simple Solution to Friedman's Fourth Problem. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  778-784. http://gdmltest.u-ga.fr/item/1183742173/