1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Pieter Hofstra, Jason Parker, Philip J. Scott
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization…