Successor-Invariance in the Finite
نویسنده
چکیده
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.
منابع مشابه
Successor-invariant first-order logic on finite structures
We consider successor-invariant first-order logic (FO+ succ)inv, consisting of sentences Φ involving an “auxiliary” binary relation S such that (A, S1) |= Φ ⇐⇒ (A, S2) |= Φ for all finite structures A and successor relations S1, S2 on A. A successorinvariant sentence Φ has a well-defined semantics on finite structures A with no given successor relation: one simply evaluates Φ on (A, S) for an a...
متن کاملA Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable. The decidability of the finite satisfiability problem of two-variable logic extended by orders and preorders as well as their corresponding successor relations has been currently investigated by several papers [2, 5, 3]. This short note extends [3] wh...
متن کاملErrata on "On the variety of Heyting algebras with successor generated by all finite chains"
In [3] we have claimed that finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor, and in particular all finite chains generate a proper subvariety of the latter. As Xavier Caicedo made us notice, this claim is not true. He proved, using techniques of Kripke models, that the intuitionistic calculus with S has finite model propert...
متن کاملSatisfiability for two-variable logic with two successor relations on finite linear orders
We study the finite satisfiability problem for first order logic with two variables and two binary relations, corresponding to the induced successor relations of two finite linear orders. We show that the problem is decidable in NExpTime.
متن کاملInvestigation of isomorph-invariance in liquid methane by molecular dynamics simulation
In this paper, isomorph invariance of liquid methane is investigated by means of constant-NVT molecular dynamics simulations. According to the data extracted from simulations, equilibrium fluctuations show strong correlation between potential energy U and virial W. We also generated isomorph state points and investigated invariance of certain thermodynamic, structural, and dynamical properties....
متن کامل