A note on syntactical and semantical functions

Studia Logica 46 (2):177 - 185 (1987)
  Copy   BIBTEX

Abstract

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is continuous in model class topology).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
28 (#413,145)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Axioms for Abstract Model Theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Axioms for Abstract Model Theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2/3):221.
Interpretations With Parameters.L. W. Szczerba - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (1-6):35-39.
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1‐6):35-39.

Add more references