Abstract | ||
---|---|---|
A first-order sentence \theta of vocabulary \sigma \cup {S} issuccessor-invariant in the finite if for every finite \sigma-structureM and successor relations S1 and S2 on M,(M,S1) \models \theta \iff (M, S2) \models \theta.In this paper I give an example of a non-first-order definableclass of finite structures which is, however, defined bya successor-invariant first-order sentence. This strengthensa corresponding result for order-invariance in the finite, dueto Y. Gurevich. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/LICS.2003.1210054 | LICS |
Keywords | Field | DocType |
first-order sentence,successor relations s1,non-first-order definableclass,strengthensa corresponding result,bya successor-invariant first-order sentence,finite structure,dueto y. gurevich,computer science,first order,interpolation,relational databases,database languages,formal logic,logic | Discrete mathematics,Combinatorics,Invariant (physics),Successor cardinal,Sigma,Sentence,Mathematics | Conference |
ISSN | ISBN | Citations |
1043-6871 | 0-7695-1884-2 | 7 |
PageRank | References | Authors |
0.69 | 3 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Benjamin Rossman | 1 | 298 | 20.00 |