A non-commutative Julia inequality (Q681631)

It is the purpose of this note to extend the Julia inequality, and to study the points for which an analogue of the Julia quotient remains bounded, to non-commutative functions that are bounded on polynomial polyhedra. The methods of this paper rely on the model-theoretic ideas from [\textit{J. Agler} et al., Math. Ann. 352, No. 3, 581--624 (2012; Zbl 1250.32005)].