On finite rigid structures
Logic
2016-09-06 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.math/9411236,
title = {On finite rigid structures},
author = {Yuri Gurevich and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9411236},
year = {2016}
}