Sentences of type theory: The only sentences preserved under isomorphisms

&
Journal of Symbolic Logic 56 (3):932-948 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1183743741

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

Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
Review: M. Machover, A Note on Sentences Preserved under Direct Products and Powers. [REVIEW]J. Weinstein - 1967 - Journal of Symbolic Logic 32 (4):533-533.
Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
A Note on Sentences Preserved under Direct Products and Powers.M. Machover - 1967 - Journal of Symbolic Logic 32 (4):533-533.
Continuous sentences preserved under reduced products.Isaac Goldbring & H. Jerome Keisler - 2020 - Journal of Symbolic Logic:1-33.
Continuous sentences preserved under reduced products.Isaac Goldbring & H. Jerome Keisler - 2022 - Journal of Symbolic Logic 87 (2):649-681.
Machover M.. A note on sentences preserved under direct products and powers. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 519–523. [REVIEW]J. Weinstein - 1968 - Journal of Symbolic Logic 32 (4):533-533.
Review: M. Makkai, Svenonius Sentences and Lindstrom's Theory on Preservation Theorems. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Chuaqui Rolando Basim. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
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.

Analytics

Added to PP
2009-01-28

Downloads
15 (#976,359)

6 months
42 (#98,106)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.

Add more citations

References found in this work

No references found.

Add more references