A. Nechesov

Gandy Direct-Limit Theorem: Polynomial-Time Prediction on Operator-Generated Networks

This work model the evolving structure as a Gandy direct limit, the limit of a chain generated by a fixed-point operator rather than by Fraïssé amalgamation, and proves the Gandy direct-limit theorem: if a polynomially computable chain is generated by such an operator, and a functional boundary condition holds, then me...