Order Types of Models of Fragments of Peano Arithmetic.

Lorenzo Galeotti Benedikt Löwe

Published in: Bull. Symb. Log. (2022)

Keyphrases

statistical models
experimental data
computer vision
real time
genetic algorithm
learning algorithm
image processing
probabilistic model
supply chain
least squares
model selection
generative model
complex systems
parametric models
arithmetic operations