论有限刚性结构
逻辑
2016-09-06 v1 计算机科学中的逻辑
摘要
本文的主要结果是一个有限刚性结构的概率构造。它给出一个有限可公理化类的有限刚性结构,其中没有任何带计数量词的 L^omega_{infty, omega} 公式定义一个线性序。
引用
@article{arxiv.math/9411236,
title = {On finite rigid structures},
author = {Yuri Gurevich and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9411236},
year = {2016}
}