References
J. F. A. K. vanBenthem,A problem on expansions and its connection with modal logic, unpublished paper, Instituut voor Grondslagenonderzoek, University of Amsterdam, 1975.
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”.)
C. C. Chang &H. J. Keisler,Model Theory, North-Holland, Amsterdam, 1973.
W. Craig,Replacement of auxiliary expressions,Philosophical Review, vol. 65 (1956), pp. 38–55.
W. Craig &R. L. Vaught,Finite axiomatizability using additional predicates,The Journal of Symbolic Logic vol. 23 (1958), pp. 289–308.
F. P. Ramsey,The foundations of mathematics, Routledge and Kegan Paul, London, 1950.
J. R. Shoenfield,Mathematical Logic, Addison-Wesley, Reading (Mass.), 1967.
J. D. Sneed,The logical structure of mathematical physics, Reidel, Dordrecht, 1971.
Z. G. Swijtink,Eliminability in a cardinal,Studia Logica Vol. XXV No. 1 (1976), pp. 71–89.
Author information
Authors and Affiliations
Additional information
Allatum est die 10 Augusti 1977
Rights and permissions
About this article
Cite this article
van Benthem, J.F.A.K. Ramsey eliminability. Stud Logica 37, 321–336 (1978). https://doi.org/10.1007/BF02176165
Issue Date:
DOI: https://doi.org/10.1007/BF02176165