1 citations · 1 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
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…
cs.LO2020
Isotropy and Combination Problems
Jason Parker
In a previous paper, the author and his collaborators studied the phenomenon of isotropy in the context of single-sorted equational theories, and showed that the isotropy group of…