Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142. [Book Review]

Journal of Symbolic Logic 25 (3):273-274 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964711

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Lyndon Roger C.. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 , pp. 129–142. [REVIEW]M. A. Taitslin - 1960 - Journal of Symbolic Logic 25 (3):273-274.
Review: Roger C. Lyndon, An Interpolation Theorem in the Predicate Calculus. [REVIEW]M. A. Taitslin - 1960 - Journal of Symbolic Logic 25 (3):273-274.
E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 , pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 , pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 , pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 , pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
Lyndon Roger C.. The representation of relational algebras. Annals of mathematics, ser. 2 vol. 51 , pp. 707–729.C. J. Everett - 1951 - Journal of Symbolic Logic 16 (4):279-280.
Roger C. Lyndon. The representation of relation algebras, II. Annals of mathematics, ser. 2 vol. 63 , pp. 294–307.J. Donald Monk - 1974 - Journal of Symbolic Logic 39 (2):337.
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 , pp. 201–216.M. A. Taitslin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene theorem for Vκ with cofinality = ω. Pacific journal of mathematics, vol. 35 , pp. 565–569. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245.
William W. Boone, Frank B. Cannonito, and Roger C. Lyndon. Introduction. Word problems, Decision problems and the Burnside problem in group theory, edited by W. W. Boone, F. B. Cannonito, and R. C. Lyndon, Studies in logic and the foundations of mathematics, vol. 71, North-Holland Publishing Company, Amsterdam and London1973, pp. ix–xii. [REVIEW]C. R. J. Clapham - 1976 - Journal of Symbolic Logic 41 (4):785-788.
M. F. Janowitz. Quantifiers and orthomodular lattices. Pacific journal of mathematics, vol. 13 , pp. 1241–1249. - M. F. Janowitz. Quantifier theory on quasi-orthomodular lattices. Illinois journal of mathematics, vol. 9 , pp. 660–676. [REVIEW]George Grätzer - 1967 - Journal of Symbolic Logic 32 (2):275.

Analytics

Added to PP
2015-02-05

Downloads
25 (#654,840)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
The Laws of Distribution for Syllogisms.Wilfrid Hodges - 1998 - Notre Dame Journal of Formal Logic 39 (2):221-230.
Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references