Polymorphic Automorphisms and the Picard Group

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…