Successor-invariance in the finite


Conference Paper

A first-order sentence θ of vocabulary σ {S} is successor-invariant in the finite if for every finite σ-structure M and successor relations S1 and S2 on M, (M, S1) |= θ ⇔ (M, S2) |= θ. 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.

Duke Authors

Cited Authors

  • Rossman, B

Published Date

  • January 1, 2003

Published In

Start / End Page

  • 148 - 157

International Standard Serial Number (ISSN)

  • 1043-6871

Citation Source

  • Scopus