1 citations · 1 across the 9 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
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.LO2025
The Complexity of the Set of Validities of a Theory
Denis R. Hirschfeldt, Henry Towsner, Scott Weinstein
We study the collection of first-order logical schemata all of whose instances are theorems of a given theory ; we call these the validities of (). It is easy…