On the Structure of Classical Realizability Models of ZF.

Jean-Louis Krivine

Published in: TYPES (2014)

Keyphrases

structural properties
prior knowledge
accurate models
multiscale
probabilistic model
structural models
machine learning
classification models
structural information
statistical models
experimental data
least squares
search algorithm
three dimensional
clustering algorithm
computer vision
genetic algorithm