References
Felscher, W.: On interpolation when function symbols are present. Siehe hier S. 145–157.
Kerkhoff, R.: Eine Konstruktion absolut freier Algebren. Math. Ann.158, 109–112 (1965).
Maehara, S.: On the interpolation theorem of Craig. Sugaku12, 235–237 (1960).
Takeuti, G.: Lecture notes on proof theory. Mimeographed. Urbana 1971.
Rights and permissions
About this article
Cite this article
Schulte-Mönting, J. Interpolation formulae for predicates and terms which carry their own history. Arch math Logik 17, 159–169 (1975). https://doi.org/10.1007/BF02276804
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02276804