Transitive Models of Fragments of ZFC.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Matías Steinberg

Published in: Arch. Formal Proofs (2022)

Keyphrases

probabilistic model
prior knowledge
model selection
real time
neural network
decision making
case study
experimental data
statistical models
metamodel
parametric models