Studia Logica

, Volume 37, Issue 4, pp 321–336 | Cite as

Ramsey eliminability

  • J. F. A. K. van Benthem


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. F. A. K. vanBenthem,A problem on expansions and its connection with modal logic, unpublished paper, Instituut voor Grondslagenonderzoek, University of Amsterdam, 1975.Google Scholar
  2. [2]
    J. F. A. K. vanBenthem,Modal logic as second-order logic, report 77-04, Mathematisch Instituut, University of Amsterdam, 1977. (To appear in “Reports on Mathematical Logic”.)Google Scholar
  3. [3]
    C. C. Chang &H. J. Keisler,Model Theory, North-Holland, Amsterdam, 1973.Google Scholar
  4. [4]
    W. Craig,Replacement of auxiliary expressions,Philosophical Review, vol. 65 (1956), pp. 38–55.Google Scholar
  5. [5]
    W. Craig &R. L. Vaught,Finite axiomatizability using additional predicates,The Journal of Symbolic Logic vol. 23 (1958), pp. 289–308.Google Scholar
  6. [6]
    F. P. Ramsey,The foundations of mathematics, Routledge and Kegan Paul, London, 1950.Google Scholar
  7. [7]
    J. R. Shoenfield,Mathematical Logic, Addison-Wesley, Reading (Mass.), 1967.Google Scholar
  8. [8]
    J. D. Sneed,The logical structure of mathematical physics, Reidel, Dordrecht, 1971.Google Scholar
  9. [9]
    Z. G. Swijtink,Eliminability in a cardinal,Studia Logica Vol. XXV No. 1 (1976), pp. 71–89.Google Scholar

Copyright information

© Warzawa 1978

Authors and Affiliations

  • J. F. A. K. van Benthem
    • 1
  1. 1.Filosofisch InstituutRÿksuniversiteit GroningenGroningenNetherlands

Personalised recommendations