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.