Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident Due to planned maintenance there will be periods of time where the website may be unavailable. We apologise for any inconvenience.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Published online by Cambridge University Press: 14 March 2022
Ramsey's device [2], for eliminating theoretical terms from a theory assumes that the theory has only finitely many axioms. Paul Berent [1], has recently suggested a modification of Ramsey's method that is designed to cover the infinite case. But, his modified method is quite unlike Ramsey's in that it involves an ascent from the original theory to a suitable metatheory. Thus, it is perhaps of some interest to note that there is an extension of Ramsey's method that covers the infinite case and at the same time is much closer in spirit to his original suggestion.
