3 papers
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…
math.CT2020
Aspects of categorical recursion theory
Pieter Hofstra, Philip Scott
We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to t…
math.CT2018
Finiteness spaces and generalized power series
Richard Blute, Robin Cockett, Pierre-Alain Jacqmin +1
We consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of…