Skip to main content
Log in

Codimension and pseudometric in co-Heyting algebras

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

In this paper, we introduce a notion of dimension and codimension for every element of a bounded distributive lattice L. These notions prove to have a good behavior when L is a co-Heyting algebra. In this case the codimension gives rise to a pseudometric on L which satisfies the ultrametric triangle inequality. We prove that the Hausdorff completion of L with respect to this pseudometric is precisely the projective limit of all its finite dimensional quotients. This completion has some familiar metric properties, such as the convergence of every monotonic sequence in a compact subset. It coincides with the profinite completion of L if and only if it is compact or equivalently if every finite dimensional quotient of L is finite. In this case we say that L is precompact. If L is precompact and Hausdorff, it inherits many of the remarkable properties of its completion, specially those regarding the join/meet irreducible elements. Since every finitely presented co-Heyting algebra is precompact Hausdorff, all the results we prove on the algebraic structure of the latter apply in particular to the former. As an application, we obtain the existence for every positive integers n, d of a term t n, d such that in every co-Heyting algebra generated by an n-tuple a, t n, d(a) is precisely the maximal element of codimension d.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bellissima F.: Finitely generated free Heyting algebras. J. Symbolic Logic 51, 152–165 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bezhanishvili G., Grigolia R.: Locally finite varieties of Heyting algebras. Algebra Universalis 54, 465–473 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bezhanishvili G., Grigolia R., Gehrke M., Mines R., Morandi P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23, 143–161 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. Darnière, L., Junker, M.: On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond. Preprint (2008). http://arxiv.org/archive/math

  5. Fitting M.C.: Intuitionistic logic, model theory and forcing. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam (1969)

    Google Scholar 

  6. Ghilardi, S.: Unification in intuitionistic logic. In: J. Symbolic Logic 64, 859–880 (1999)

  7. Hochster M.: Prime ideal structure in commutative rings. Trans. Amer. Math. Soc. 142, 43–60 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hosoi T.: On intermediate logics. I. J. Fac. Sci. Univ. Tokyo Sect. I 14, 293–312 (1967)

    MathSciNet  Google Scholar 

  9. Komori Y.: The finite model property of the intermediate propositional logics on finite slices. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 22, 117–120 (1975)

    MATH  MathSciNet  Google Scholar 

  10. Kuznetsov, A.V.: On superintuitionistic logics. In: Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), vol. 1, pp. 243–249. Canad. Math. Congress, Montreal, Quebec (1975)

  11. Mardaev S.I.: The number of prelocal-tabular superintuitionistic propositional logics. Algebra and Logic 23, 56–66 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  12. Ono, H.: Kripke models and intermediate logics. Publ. Res. Inst. Math. Sci. 6, 461–476 (1970/71)

    Google Scholar 

  13. Popkorn S.: First steps in modal logic. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Luck Darnière.

Additional information

Presented by F. Wehrung.

Main parts of this work were done when the second author was invited professor at the university of Angers in July 2005, and when the first author was invited at the institute of Mathematics of Freiburg in July 2008.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Darnière, L., Junker, M. Codimension and pseudometric in co-Heyting algebras. Algebra Univers. 64, 251–282 (2010). https://doi.org/10.1007/s00012-011-0103-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-011-0103-x

2010 Mathematics Subject Classification

Keywords and phrases

Navigation