Fixed Points in Peano Arithmetic with Ordinals.

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

fixed point
sufficient conditions
initial conditions
approximate value iteration
temporal difference learning
asymptotic properties
belief propagation
stationary points
neural network
image processing
free energy
probabilistic model