Unifying the model theory of first-order and second-order arithmetic via.

Ali Enayat Tin Lok Wong

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

Keyphrases

computational model
higher order
mathematical model
high level
statistical model
formal model
data model
cost function
probabilistic model
experimental data
high order
theoretical foundation
computational models
simulation model
mathematical framework