Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.

Sandra Müller Ralf Schindler W. Hugh Woodin

Published in: J. Math. Log. (2020)

Keyphrases

dynamic programming
optimal solution
artificial intelligence
artificial neural networks
query language
upper bound
hypothesis testing
optimal design
finding optimal