Successor-Invariance In The Finite
LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science（2003）
摘要
A first-order sentence theta of vocabulary, sigma U {S} is successor-invariant in the finite if for every finite sigma-structure M and successor relations S-1 and S-2 on M,(M, S-1) satisfies theta double left right arrow (M, S-2) satisfies theta.In this paper I give an example of a non-first-order definable class of finite structures which is, however defined by a successor-invariant first-order sentence. This strengthens a corresponding result for order-invariance in the finite, due to Y. Gurevich.
更多查看译文
关键词
finite structure,bya successor-invariant first-order sentence,first-order sentence,successor relations S1,dueto Y. Gurevich,non-first-order definableclass,strengthensa corresponding result
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要