Sufficient conditions for zero-one laws

Author:
Jason P. Bell

Journal:
Trans. Amer. Math. Soc. **354** (2002), 613-630

MSC (1991):
Primary 60F20; Secondary 05A16

Published electronically:
September 28, 2001

MathSciNet review:
1862560

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We generalize a result of Bateman and Erdos concerning partitions, thereby answering a question of Compton. From this result it follows that if is a class of finite relational structures that is closed under the formation of disjoint unions and the extraction of components, and if it has the property that the number of indecomposables of size is bounded above by a polynomial in , then has a monadic second order - law. Moreover, we show that if a class of finite structures with the unique factorization property is closed under the formation of direct products and the extraction of indecomposable factors, and if it has the property that the number of indecomposables of size at most is bounded above by a polynomial in , then this class has a first order - law. These results cover all known natural examples of classes of structures that have been proved to have a logical - law by Compton's method of analyzing generating functions.

**1.**Tom M. Apostol,*Introduction to analytic number theory*, Springer-Verlag, New York-Heidelberg, 1976. Undergraduate Texts in Mathematics. MR**0434929****2.**Stanley N. Burris, Number Theoretic Density and Logical Limit Laws.*Mathematical Surveys and Monographs, 86.*American Mathematical Society, Providence, RI, 2001. CMP**2001:05****3.**Stanley Burris, Kevin Compton, Andrew Odlyzko, and Bruce Richmond,*Fine spectra and limit laws. II. First-order 0-1 laws*, Canad. J. Math.**49**(1997), no. 4, 641–652. MR**1471048**, 10.4153/CJM-1997-030-6**4.**Stanley Burris and András Sárközy,*Fine spectra and limit laws. I. First-order laws*, Canad. J. Math.**49**(1997), no. 3, 468–498. MR**1451257**, 10.4153/CJM-1997-022-4**5.**Kevin J. Compton,*A logical approach to asymptotic combinatorics. I. First order properties*, Adv. in Math.**65**(1987), no. 1, 65–96. MR**893471**, 10.1016/0001-8708(87)90019-3**6.**Kevin J. Compton,*A logical approach to asymptotic combinatorics. II. Monadic second-order properties*, J. Combin. Theory Ser. A**50**(1989), no. 1, 110–131. MR**978070**, 10.1016/0097-3165(89)90009-5**7.**G. H. Hardy and E. M. Wright,*An introduction to the theory of numbers*, 5th ed., The Clarendon Press, Oxford University Press, New York, 1979. MR**568909****8.**John Lawrence, personal communication.**9.**Hans Rademacher,*On the expansion of the partition function in a series*, Ann. of Math. (2)**44**(1943), 416–422. MR**0008618****10.**Herbert S. Wilf,*generatingfunctionology*, Academic Press, Inc., Boston, MA, 1990. MR**1034250**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
60F20,
05A16

Retrieve articles in all journals with MSC (1991): 60F20, 05A16

Additional Information

**Jason P. Bell**

Affiliation:
Department of Mathematics, University of California San Diego, La Jolla, California 92093-0112

Email:
jbell@math.ucsd.edu

DOI:
https://doi.org/10.1090/S0002-9947-01-02884-7

Received by editor(s):
April 10, 2000

Received by editor(s) in revised form:
May 18, 2001

Published electronically:
September 28, 2001

Additional Notes:
I am indebted to Stan Burris for pointing out that results obtained in the additive case lift to the multiplicative case, to John Lawrence for helping with an application, and to the referee for valuable comments regarding the presentation.

Article copyright:
© Copyright 2001
American Mathematical Society