Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-18T02:45:17.318Z Has data issue: false hasContentIssue false
  • English
  • Français

A simple solution to Friedman's fourth problem

Published online by Cambridge University Press:  12 March 2014

Xavier Caicedo
Xavier Caicedo*
Affiliation:
Department of Mathematics, University of Maryland, College Park, Maryland 20742 Departamento de Matematicas, Universidad de Los Andes, Bogotá, Colombia
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 51 , Issue 3 , September 1986 , pp. 778 - 784
Copyright
Copyright © Association for Symbolic Logic 1986

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Caicedo, X., Failure of interpolation for quantifiers of monadic type, Methods in mathematical logic (Proceedings of the Sixth Latin American Conference; DiPrisco, C. A., editor), Lecture Notes in Mathematics, vol. 1130, Springer-Verlag, Berlin, 1985, pp. 1–12.Google Scholar
[2]Friedman, H., One hundred and two problems in mathematical logic, this Journal, vol. 40 (1975), pp. 113–129.Google Scholar
[3]Harrington, L., Extensions of countable infinitary logic which preserve most of its nice properties, Archiv für Mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 95–102.CrossRefGoogle Scholar
[4]Lindström, P., First order predicate calculus with generalized quantifiers, Theoria, vol. 32 (1966), pp. 187–195.Google Scholar
[5]Morgenstern, C. F., On amalgamation of languages with Magidor-Malitz quantifiers, this Journal, vol. 44 (1979), pp. 549–558.Google Scholar