Hanf Locality and Invariant Elementary Definability

Steven Lindell, Henry Towsner, Scott Weinstein

We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant wit…