Beth, E. W.: 1953, ‘On Padoa’s Method in the Theory of Definition’, Indagationes Mathematicae
15, 330–339.
Google Scholar
Chang, C. C.: 1964, ‘Some New Results in Definability’, Bulletin of the American Mathematical Society
70, 808–813.
CrossRef
Google Scholar
Chang, C. C. and Keisler, H. J.: 1973, Model Theory, North-Holland, Amsterdam. Gorsky, D. P.: 1974, Definition, Publishing House ‘Mysl’, Moscow (in Russian).
Google Scholar
Hintikka, J.: 1972, ‘Constituents and Finite Identifiability’, Journal of Philosophical Logic
1, 45–52.
CrossRef
Google Scholar
Kalman, R. E.: 1960, ‘On the General Theory of Control Systems’, in First IFAC Congress, Moscow, pp. 481–492.
Google Scholar
Kueker, D. W.: 1970, ‘Generalized Interpolation and Definability’, Annals of Mathematical Logic
1, 423–468.
CrossRef
Google Scholar
Makkai, M.: 1964, ‘A Generalization of a Theorem of E. W. Beth’, Acta Math. Acad. Sci. Hungar.
15, 227–236.
CrossRef
Google Scholar
Padoa, A.: 1900. ‘Essai d’une théorie algebrique des nombres entiers, précedé d’une introduction logique à une théorie deductive quelconque, secs. 8–18’, Bibliothèque du Congrès International de Philosophie
3, Paris, p. 309.
Google Scholar
Przelgcki, M.: 1969, The Logic of Empirical Theories, Routledge and Kegan Paul, London.
Google Scholar
Rantala, V.: 1975, ‘Definability Problems in the Methodology of Science’, in Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, 1974, Warsaw.
Google Scholar
Sadovsky, V. N. and Smirnov, V. A.: 1977, ‘Complete and Incomplete Definability in First-order Theories’, in The Methods of Logical Analysis of Scientific Language, Publishing House ‘Nauka’, Moscow (in Russian).
Google Scholar
Simon, H. A.: 1970, ‘The Axiomatization of Physical Theories’, Philosophy of Science
37, 16–26.
CrossRef
Google Scholar
Smirnov, V. A.: 1974, ‘On the Question of Definability of Predicates Introduced by Bilateral Reduction Sentences’, in Philosophy in the Modern World. Philosophy and Logic, Publishing House ‘Nauka’, Moscow, pp. 165–167 (in Russian).
Google Scholar
Svenonius, L.: 1959, ‘A Theorem about Permutation in Models’, Theoria
25, 173–178.
CrossRef
Google Scholar
Tarski, A.: 1934, ‘Some Methodological Investigations on the Definability of Concepts’, in A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 296–319.
Google Scholar
Tuomela, R.: 1973, Theoretical Concepts, Springer Verlag, Wien-New York.
CrossRef
Google Scholar