Abstract
A definition of elementary interpretation, equivalent (up to isomorphisms) to the ones of [3] and [4], 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 in [3].
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Gajda, M. Krynicki and L. W. Szczerba, A note on syntactical and semantical functions, Studia Logica 46 (1987), pp. 177–185.
A. M. Sette and L. W. Szczerba, Characterization of elementary interpretations in category theory, [in:] L. P. De Alcantara (ed.), Mathematical Logic and Formal Systems, Marcel Dekker Inc., New York 1985, pp. 243–292.
L. W. Szczerba, Interpretability of elementary theories, [in:] R. E. Butts and J. Hintikka (eds.), Foundations of Mathematics and Computability Theory 1975, Reidel, Dordrecht and Boston, 1977, pp. 129–145.
L. W. Szczerba, Elementary means of creating entities, [in:] Conference on Technology of Science, Towarzystwo Naukowe Płockie, 1979, pp. 13–27.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gajda, A. The adequacy condition as a definition of elementary interpretation. Stud Logica 47, 57–69 (1988). https://doi.org/10.1007/BF00374053
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00374053