Subsumptive general solutions and parametric general solutions of Post equations

Abstract

In this paper we generalize Rudeanu's results from [13] to Post algebras. We give a necessary and sufficient condition for the existence of a Post function f such that the set of solutions of equation f(x) = 0 is a given interval. We also prove that every Post transformation is the parametric solution of some consistent Post equation. © 2011 Elsevier Inc. All rights reserved.