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.
Similar content being viewed by others
References
A. G. Pinus and H. Rose, “Second order equivalence of cardinals: an algebraic approach,” to appear.
R. Freeze, J. Jezek, and J. B. Nation,Free Lattices, Math. Surv. Mon., Vol. 42, Am. Math. Soc., Providence, R.I. (1995).
A. G. Pinus, “Elementary equivalence of lattices of partitions,”Sib. Mat. Zh.,29, No. 3, 211–212 (1988).
C. Naturman and H. Rose, “Elementary equivalent pairs of algebras associated with sets,”Alg. Univ.,28, No. 3, 324–338 (1991).
J. Jezek and R. Quackenbush, “Directoids: algebraic models of up-directed sets,”Alg. Univ.,27, No. 1, 49–69 (1990).
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
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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02681618