Compton's Method for Proving Logical Limit Laws

AMS-ASL Joint Special Session Pub Date : 1900-01-01 DOI:10.1090/conm/558/11049

J. Bell, S. Burris

引用次数: 6

Abstract

Developments in the study of logical limit laws for both labelled and unlabelled structures, based on the methods of Compton (1987/1989), are surveyed, and a sandwich theorem is proved for multiplicative systems.

查看原文本刊更多论文

康普顿证明逻辑极限定律的方法

在康普顿(Compton, 1987/1989)方法的基础上，综述了标记和非标记结构的逻辑极限律研究的进展，并证明了乘法系统的一个三明治定理。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

AMS-ASL Joint Special Session

自引率

0.00%

发文量