Stanley Burris - Density in abstract number systems

The finite algebras in varieties with the unique factorization property provide excellent examples of abstract number systems where one can invoke the Dirichlet Series = Euler Product to analyze the density of partition sets, and this in turn can be used to study the probability that a first-order sentence hold in the finite models of the variety.