Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-23T14:13:04.597Z Has data issue: false hasContentIssue false
  • English
  • Français

Formalized token models and duality in semantics: an algebraic approach

Published online by Cambridge University Press:  12 March 2014

Lars Hansen
Lars Hansen*
Affiliation:
Laerkehegnet 155, 1670 Greve, Denmark, E-mail: larsh@mobilixnet.dk
Get access Rights & Permissions [Opens in a new window]

Abstract.

Employing the theory of Birkhoff polarities as a model of model theory yields an inductively defined dual structure which is a formalization of semantics and which allows for simple proofs of some new results for model theory.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 2 , June 2004 , pp. 443 - 477
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Birkhoff, G., Lattice Theory, 3rd ed., American Mathematical Society, Providence, R.I., 1967.Google Scholar
[2]Chang, C. C. and Keisler, H. J., Model Theory, 3rd ed., North Holland, 1991.Google Scholar
[3]Gödel, K., The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Princeton, 1940, (second printing 1951).Google Scholar
[4]Grätzer, G., Lattice Theory: First concepts and distributive lattices, W. H. Freeman and Company, 1971.Google Scholar
[5]Halmos, P. R., Lectures on Boolean Algebras, Van Nostrand, 1963.Google Scholar
[6]Mendelson, E., Introduction to Mathematical Logic, Van Nostrand, 1963.Google Scholar
[7]Morris, C., Foundations of the Theory of Signs, The University of Chicago Press, 1938, (twelfth impression 1970).Google Scholar