Generalized interpolation and definability
- 31 December 1970
- journal article
- review article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 1 (4) , 423-468
- https://doi.org/10.1016/0003-4843(70)90003-3
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An interpolation theorem for denumerably long formulasFundamenta Mathematicae, 1965
- On a generalization of a theorem of E. W. BethActa Mathematica Hungarica, 1964
- Some new results in definabilityBulletin of the American Mathematical Society, 1964
- An extension of the Craig-Lyndon interpolation theoremThe Journal of Symbolic Logic, 1963
- Homogeneous Universal Models.MATHEMATICA SCANDINAVICA, 1962
- An interpolation theorem in the predicate calculusPacific Journal of Mathematics, 1959
- A note on theories with selectorsFundamenta Mathematicae, 1959
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- A Result on Consistency and its Application to theTheory of DefinitionIndagationes Mathematicae, 1956
- On Padoa’s Method in the Theory of DefinitionIndagationes Mathematicae, 1953