Charles Explorer logo
🇬🇧

Almost ff-universality implies Q-universality

Publication at Faculty of Mathematics and Physics |
2009

Abstract

This paper generalizes Adams-Dziobiak theorem. We proved that a quasivariety of algebraic systems of finite similarity type is Q-universal whenever it is ff-almost universal.