首页 | 本学科首页   官方微博 | 高级检索  
     


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》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号