- Full text PDF available (15)
- This year (0)
- Last 5 years (1)
- Last 10 years (5)
The Sandwich Theorems proved in this paper give a new method to show that the partition function a(n) of a partition identity A(x) := ∞ n=0 a(n)x n = ∞ n=1 (1 − x n) −p(n) satisfies the condition RT 1 lim n→∞ a(n − 1) a(n) = 1. This leads to numerous examples of naturally occuring classes of relational structures whose finite members enjoy a logical 0–1 law.
Law plays crucial roles in the field of public health, from defining the power and jurisdiction of health agencies, to influencing the social norms that shape individual behavior. Despite its importance, public health law has been neglected. Over a decade ago, the Institute of Medicine issued a report lamenting the state of public health administration,… (More)
Combinatorial classes T that are recursively defined using combinations of the standard multiset, sequence, directed cycle and cycle constructions , and their restrictions, have generating series T(z) with a positive radius of convergence; for most of these a simple test can be used to quickly show that the form of the asymptotics is the same as that for… (More)
The algebra of logic developed by Boole was not Boolean algebra. In this article we give a natural framework that allows one to easily reconstruct his algebra and see the difficulties it created for his successors. It is well known that modern Boolean algebra is connected with the work of George Boole [1815–1864], namely with his two books on a mathematical… (More)
We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.