No Access

Lattices of subclasses. II

Sobolev Institute of Mathematics, Siberian Branch RAS, Acad. Koptyug prosp. 4, 630090 Novosibirsk, Russia

Novosibirsk State University, Pirogova str. 2, 630090 Novosibirsk, Russia

and

Faculty of Mathematics and Information Science, Warsaw University of Technology, ul. Koszykowa 75, 00-662 Warsaw, Poland

Search for more papers by this author

https://doi.org/10.1142/S0218196714500489Cited by:5 (Source: Crossref)

Abstract

We prove that the class K(σ) of all algebraic structures of signature σ is Q-universal if and only if there is a class K ⊆ K(σ) such that the problem whether a finite lattice embeds into the lattice of K-quasivarieties is undecidable.

Keywords:

AMSC: 06B15, 03C05, 03C07, 08A30, 08C15, 08C10, 05C25, 20N02, 03D99

References

M. E. Adams et al. , Studia Logica 78 , 357 ( 2004 ) . Crossref, Google Scholar
M. E. Adams and W. Dziobiak , Proc. Amer. Math. Soc. 120 , 1053 ( 1994 ) . Web of Science, Google Scholar
M. E. Adams and W. Dziobiak , J. Algebra 166 , 181 ( 1994 ) . Crossref, Web of Science, Google Scholar
M. E. Adams and W. Dziobiak , Algebra Universalis 47 , 7 ( 2002 ) . Crossref, Web of Science, Google Scholar
G. Birkhoff, Universal algebra, Proc. the First Canadian Mathematical Cong. (The University of Toronto Press, Toronto, 1946) pp. 310–326. Google Scholar
C. C. Chang and H. J. Keisler , Model Theory , 3rd edn. , Studies in Logic and the Foundations of Mathematics ( Amsterdam , 1990 ) . Google Scholar
W. Dziobiak, Selected topics in quasivarieties of algebraic systems, manuscript of the lecture notes delivered at the Workshop on Computational Algebra and Applications to Semigroup Theory held at the Center of Algebra of Lisbon University, Portugal, 17–21 November, 1997, 61 pp . Google Scholar
V. A. Gorbunov , Algebra Logic 34 , 73 ( 1995 ) . Crossref, Google Scholar
V. A. Gorbunov , Algebra Logic 34 , 203 ( 1995 ) . Crossref, Google Scholar
V. A. Gorbunov , Algebra Logic 34 , 359 ( 1995 ) . Crossref, Google Scholar
V. A. Gorbunov , Algebraic Theory of Quasivarieties ( Nauchnaya Kniga , Novosibirsk , 1999 ) . Google Scholar
V. A. Gorbunov and V. I. Tumanov , Proc. Inst. Math. SB RAS 2 , 12 ( 1982 ) . Google Scholar
W. Hodges , Model Theory , Encyclopedia of Mathematics and Its Applications 42 ( Cambridge University Press , 1993 ) . Crossref, Google Scholar
V. K. Kartashov , Math. Notes 27 , 5 ( 1980 ) . Crossref, Web of Science, Google Scholar
V. K. Kartashov , Algebra Logic 19 , 106 ( 1980 ) . Crossref, Google Scholar
V. K. Kartashov , Siberian Math. J. 19 , 346 ( 1980 ) . Google Scholar
A. V. Kravchenko , Algebra Logic 36 , 164 ( 1997 ) . Crossref, Google Scholar
A. V. Kravchenko , Siberian Adv. Math. 12 , 63 ( 2002 ) . Google Scholar
A. V. Kravchenko , Algebra Logic 41 , 173 ( 2002 ) . Crossref, Google Scholar
A. V. Kravchenko , Comment. Math. Univ. Carolin. 49 , 11 ( 2008 ) . Google Scholar
A. V. Kravchenko , Siberian Adv. Math. 15 , 89 ( 2012 ) . Google Scholar
A. V. Kravchenko , Siberian Electronic Math. Reports 9 , 201 ( 2012 ) , http://semr.math.nsc.ru . Google Scholar
N. A. Kulikov , Algebra Logic 29 , 3 ( 1990 ) . Crossref, Google Scholar
W. A. Lampe , Pacific J. Math. 103 , 475 ( 1982 ) . Crossref, Web of Science, Google Scholar
W. A. Lampe , Algebra Universalis 55 , 127 ( 2006 ) . Crossref, Web of Science, Google Scholar
A. I. Maltsev, Borderline problems of algebra and logic, Proc. Int. Mathematical Cong. (Moscow, 1966) (Mir, Moscow, 1968) pp. 217–231. Google Scholar
A. I. Maltsev , Algebraic Systems ( Springer-Verlag , 1973 ) . Google Scholar
A. M. Nurakunov , Algebra Logic 40 , 166 ( 2001 ) . Crossref, Google Scholar
A. M. Nurakunov , Algebra Universalis 57 , 207 ( 2007 ) . Crossref, Web of Science, Google Scholar
A. M. Nurakunov, Internat. J. Algebra Comput. 22(3), 1 (2012). Link, Web of Science, Google Scholar
A. M. Nurakunov , M. V. Semenova and A. Zamojska-Dzienio , Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 154 , 167 ( 2012 ) . Google Scholar
P. P. Pálfy and P. Pudlák , Algebra Universalis 11 , 22 ( 1980 ) . Crossref, Google Scholar
A. B. Romanowska and B. Roszkowska , Demonstratio Math. 20 , 277 ( 1987 ) . Google Scholar
A. B. Romanowska and J. D. H. Smith , Modes ( World Scientific , Singapore , 2002 ) . Link, Google Scholar
M. V. Sapir , Algebra Universalis 21 , 172 ( 1985 ) . Crossref, Web of Science, Google Scholar
M. V. Semenova and A. Zamojska-Dzienio , Siberian Math. J. 53 , 889 ( 2012 ) . Crossref, Web of Science, Google Scholar
S. V. Sizyǐcaron; , Siberian Math. J. 35 , 783 ( 1994 ) . Crossref, Web of Science, Google Scholar