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.2307/2275062

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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.
Wissensaussage und die Unmöglichkeit ihrer Objektivierung.Ota Weinberger - 1975 - Grazer Philosophische Studien 1 (1):101-120.
Questions.Peter Hanks - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
Self-knowledge and Moore's paradox.David M. Rosenthal - 1995 - Philosophical Studies 77 (2-3):195 - 209.
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.
Time, tense, truth.Katalin Farkas - 2008 - Synthese 160 (2):269 - 284.
How do sentences do it?Lars Hertzberg - unknown
E-Type Anaphora as NP-Deletion.Paul Elbourne - 2001 - Natural Language Semantics 9 (3):241-288.
Proof Theory For Finitely Valid Sentences.J. Degen - 2001 - Reports on Mathematical Logic:47-59.
Simple sentences, substitution, and intuitions.Jennifer Mather Saul - 2007 - New York: Oxford University Press.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Bait and switch philosophy.Chris Daly - 2015 - Analysis 75 (3):372-379.
Analytic/synthetic and semantic theory.Leonard Linsky - 1970 - Synthese 21 (3-4):439 - 448.
Le premier commentaire cistercien sur les Sentences de Pierre Lombard par Humbert de Preuilly (†1298).Monica Brinzei - 2011 - Bulletin de Philosophie Medievale 53:81 - 148.
Dlaczego prawda jest (nie)definiowalna.Cezary Cieśliński - 2005 - Filozofia Nauki 1.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,054,764)

6 months
2 (#1,263,261)

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

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Théorie des Ensembles.N. Bourbaki - 1946 - Journal of Symbolic Logic 11 (3):91-91.

Add more references