The adequacy condition as a definition of elementary interpretation (Q1115857): Difference between revisions

A definition of elementary interpretation, equivalent (up to isomorphisms) to the ones of \textit{A. M. Sette} and \textit{L. W. Szczerba} [Lect. Notes Pure Appl. Math. 94, 243-292 (1985; Zbl 0574.03013)] and \textit{L. W. Szczerba} [Logic, Found. Math., Comput. Theory; Proc. 5th Int. Congr., London/Ontario 1975, Part 1, 129-145 (1977; Zbl 0375.02005)], is given. The defining condition, used here, seems to confirm that intuitions agree with the choice of the class of elementary interpretations, which was done by Sette and Szczerba [loc. cit.].