User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-30279966-20190928143127/@comment-35470197-20190928150117

Of course well-defined, as long as you specify their precise definitions. (Especially, the notion of an OTM is a little ambiguous when you allow higher order oracle, and hence you need to specify the precise formulation.)