Asymptotics for logical limit laws: When the growth of the components is in an RT class |
| |
Authors: | Jason P. Bell Stanley N. Burris |
| |
Affiliation: | Mathematics Department, University of Michigan, East Hall, 525 East University, Ann Arbor, Michigan 48109-1109 ; Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario N2L 3G1 Canada |
| |
Abstract: | Compton's method of proving monadic second-order limit laws is based on analyzing the generating function of a class of finite structures. For applications of his deeper results we previously relied on asymptotics obtained using Cauchy's integral formula. In this paper we develop elementary techniques, based on a Tauberian theorem of Schur, that significantly extend the classes of structures for which we know that Compton's theory can be applied. |
| |
Keywords: | Ratio test Schur's Tauberian theorem asymptotic density monadic second-order logic zero-one law limit law |
|
| 点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息 |
|
点击此处可从《Transactions of the American Mathematical Society》下载全文 |