On finite rigid structures
逻辑
2016-09-06 v1 计算机科学中的逻辑
摘要
The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L^omega_{infty, omega} formula with counting quantifiers defines a linear order.
引用
@article{arxiv.math/9411236,
title = {On finite rigid structures},
author = {Yuri Gurevich and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9411236},
year = {2016}
}