About some fixed Point Axioms and Related Principles in Kripke-Platek Environments.

Gerhard Jäger Silvia Steila

Published in: J. Symb. Log. (2018)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
constraint databases
desirable properties
variational inequalities
higher order
belief propagation
fixed point theorem
knowledge base
image segmentation
dynamic programming
probability distribution