Solving functional equations at higher types; some examples and some theorems
The solvability of higher type functional equations has been studied by a number of authors. Roughly speaking the literature sorts into four topics: constructive solvability; solvability in all models, i.e., unification; solvability in models of A.C.; and the solvability of special classes of equations. In this note we shall consider yet a fifth topic, namely, the solvability of functional equations in extensions of models.
solvability of higher type functional equations
solvability of functional equations in extensions of models
scientific article; zbMATH DE number 4010484