Skip to main content
Log in

Elementary equivalence for lattices of subalgebras of free algebras

  • Published:
Algebra and Logic Aims and scope

Abstract

A class of varieties V (including all finitely based lattice varieties) is determined for which the elementary equivalence of lattices of subalgebras of free V-algebras, Fv(X) and Fv(Y), is equivalent to sets X and Y being second-order equivalent.

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.

Similar content being viewed by others

References

  1. A. G. Pinus and H. Rose, “Second order equivalence of cardinals: an algebraic approach,” to appear.

  2. R. Freeze, J. Jezek, and J. B. Nation,Free Lattices, Math. Surv. Mon., Vol. 42, Am. Math. Soc., Providence, R.I. (1995).

    Google Scholar 

  3. A. G. Pinus, “Elementary equivalence of lattices of partitions,”Sib. Mat. Zh.,29, No. 3, 211–212 (1988).

    Google Scholar 

  4. C. Naturman and H. Rose, “Elementary equivalent pairs of algebras associated with sets,”Alg. Univ.,28, No. 3, 324–338 (1991).

    Article  MATH  Google Scholar 

  5. J. Jezek and R. Quackenbush, “Directoids: algebraic models of up-directed sets,”Alg. Univ.,27, No. 1, 49–69 (1990).

    Article  MATH  Google Scholar 

Download references

Authors

Additional information

Supported by RFFR grant No. 99-01-00571.

Supported by the National Research Foundation of the Republic of South Africa, and by the University of Cape Town Research Committee.

Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 595–601, September–October, 2000.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pinus, A.G., Rose, H. Elementary equivalence for lattices of subalgebras of free algebras. Algebr Logic 39, 341–344 (2000). https://doi.org/10.1007/BF02681618

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02681618

Keywords

Navigation