How to define a linear order on finite models
Under an Elsevier user license
open archive
Keywords
Finite model theory
Computational complexity
Fixpoint logic
Infinitary logic
Implicit definability
Rigid models
Linear order
Graph isomorphism
Graph automorphism
MSC
03C13
03D15
68Q15
MSC
03C50
03C80
Cited by (0)
- 1
Partially supported by a grant from the University of Helsinki.
- ∗
Partially supported by a 1993 John Simon Guggenheim Fellowship and by NSF Grants No. CCR-9108631, CCR-9307758, and INT-9024681.
- 2
Partially supported by a grant from the Emil Aaltonen Foundation.
Copyright © 1997 Published by Elsevier B.V.