A Note on the Interpolation Theorem in First Order Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820281405

Other Versions

reprint Weaver, George (1982) "A Note On The Interpolation Theorem In First Order Logic". Mathematical Logic Quarterly 28(14-18):215-218

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
A Note on Cut Elimination and Completeness in First Order Theories.Kenneth A. Bowen - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):173-176.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.

Analytics

Added to PP
2014-01-16

Downloads
41 (#550,596)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
Elements of mathematical logic.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.

Add more references