Characterization of conditionally termable functions (Q1363477)

The author studies the notion of a conditionally termable function introduced recently. Conditions are given on an algebra \({\mathfrak{A}}\) for conditionally termable functions in the signature of \({\mathfrak{A}}\) to have a description in terms of inner isomorphisms of \({\mathfrak{A}}\).