Presentation-invariant definability

We extend the notion of invariant elementary definability to a variety of different graph representations, including those that strictly extend the power of first-order logic with an arbitrary linear order.

Authors

• Steven Lindell
• Scott Weinstein

Keywords

No keywords are indexed for this paper.