Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Browsing Mathematics by Author "Nation, J. B."
-
Adaricheva, Kira; Nation, J. B.
(2012)
We show that for every quasivariety K of structures (where
both functions and relations are allowed) there is a semilattice S with
operators such that the lattice of quasi-equational theories of K (the dual
of the lattice ...