Publication:4359313
From MaRDI portal
zbMath0882.03035MaRDI QIDQ4359313
Jerzy Tyszkiewicz, Paweł M. Idziak
Publication date: 26 November 1997
finite algebras; variety of groups; 0-1 law; directly representable varieties; convergence law; asymptotic cumulative probabilities; monadic second-order definable properties
03B25: Decidability of theories and sets of sentences
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03C13: Model theory of finite structures
08A05: Structure theory of algebraic structures
03C05: Equational classes, universal algebra in model theory