9 citations · 15 across the 6 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2025
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…
math.LO1996
k --Universal Finite Graphs
Eric Rosen, Saharon Shelah, Scott Weinstein
This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The…