Properties Preserved under Definitional Equivalence and Interpretations

Mathematical Logic Quarterly 24 (31-36):481-488 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780243102

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

Categorical abstract algebraic logic metalogical properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369 - 398.
On Some Properties of Recursively Enumerable Equivalence Relations.Stefano Baratella - 1989 - Mathematical Logic Quarterly 35 (3):261-268.
Categorical Abstract Algebraic Logic Metalogical Properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369-398.
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.
Review: Charles C. Pinter, Set Theory. [REVIEW]Paul C. Eklof - 1976 - Journal of Symbolic Logic 41 (2):548-549.
Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7‐9):103-109.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7-9):103-109.
Characterization of ‐like and c 0 ‐like equivalence relations.Longyun Ding - 2014 - Mathematical Logic Quarterly 60 (4-5):273-279.
Charles C. Pinter. Set theory. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1971, viii + 216 pp. [REVIEW]Paul C. Eklof - 1976 - Journal of Symbolic Logic 41 (2):548-549.

Analytics

Added to PP
2013-11-24

Downloads
3 (#1,729,579)

6 months
37 (#101,767)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Claude Pinter
Bucknell University

Citations of this work

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.

View all 12 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Review: H. Jerome Keisler, Model Theory. [REVIEW]C. C. Chang - 1973 - Journal of Symbolic Logic 38 (4):648-648.

Add more references