Title: Axioms and examples related to ordinal dynamic programming
Subjects: Programming (Mathematics), Markov processes