Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. C. C. Chang, ?Some New Results in Definability?,Bulletin of the Am. Math. Society, Vol. 70 (1964), pp. 808?813.
2. Jaakko Hintikka, ?Distributive Normal Forms in First-Order Logic?, inFormal Systems and Recursive Functions, ed. by J. N. Crossley and M. A. E. Dummett, North-Holland Publishing Company, Amsterdam, 1965, pp. 47?90.
3. Jaakko Hintikka and Raimo Tuomela, ?Towards a General Theory of Auxiliary Concepts and Definability in First-Order Theories?, inInformation and Inference (ed. by Jaakko Hintikka and Patrick Suppes), D. Reidel Publishing Company, Dordrecht, 1970, pp. 298?330.
4. D. W. Kueker, ?Generalized Interpolation and Definability?,Annals of Mathematical Logic, Vol. 1 (1970), pp. 423?468.
5. M. Makkai, ?A Generalization of a Theorem of E. W. Beth?,Acta Math. Acad. Sci. Hungar. Vol. 15 (1964), pp. 227?235.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Definitions and Definability;Definitions and Definability: Philosophical Perspectives;1991
2. Constituents;Jaakko Hintikka;1987
3. A Note on Distributive Normal Forms;Essays in Honour of Jaakko Hintikka;1979
4. Definability and Identifiability: Certain Problems and Hypotheses;Basic Problems in Methodology and Linguistics;1977
5. A new approach to infinitary languages;Annals of Mathematical Logic;1976-08