×
Bergman, Clifford

The amalgamation class of a discriminator variety is finitely axiomatizable. (English) Zbl 0519.08008

Universal algebra and lattice theory, Proc. 4th int. Conf., Puebla/Mex. 1982, Lect. Notes Math. 1004, 1-9 (1983).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0519.08008

Cited in 4 Documents

MSC:

08C10 Axiomatic model classes
03C05 Equational classes, universal algebra in model theory
03B25 Decidability of theories and sets of sentences

Keywords:

subdirect product; amalgamation bases; amalgamation class; finitely generated discriminator variety; finitely axiomatizable; simple algebras

Citations:

Zbl 0509.00004
Cite Review PDF