Formalized token models and duality in semantics: an algebraic approach
Source: J. Symbolic Logic
Volume 69, Issue 2
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.
Full-text: Access denied (no subscription
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1082418537
Digital Object Identifier: doi:10.2178/jsl/1082418537
Mathematical Reviews number (MathSciNet): MR2058183
Zentralblatt MATH identifier: 1069.03031
G. Birkhoff Lattice Theory, 3rd ed., American Mathematical Society, Providence, R.I.,1967.
Mathematical Reviews (MathSciNet): MR227053
C. C. Chang and H. J. Keisler Model Theory, 3rd ed., North Holland,1991.
K. Gödel The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Princeton,1940, (second printing 1951).
G. Grätzer Lattice Theory: First concepts and distributive lattices, W. H. Freeman and Company,1971.
Mathematical Reviews (MathSciNet): MR321817
P. R. Halmos Lectures on Boolean Algebras, Van Nostrand,1963.
Mathematical Reviews (MathSciNet): MR167440
E. Mendelson Introduction to Mathematical Logic, Van Nostrand,1963.
Mathematical Reviews (MathSciNet): MR524725
C. Morris Foundations of the Theory of Signs, The University of Chicago Press,1938, (twelfth impression 1970).