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)xn = n=1 (1 - xn )-p(n) satisfies the condition RT1 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
Jason P. Bell, Stanley Burris