Forcing a countable structure to belong to the ground model.

Itay Kaplan Saharon Shelah

Published in: Math. Log. Q. (2016)

Keyphrases

computational model
formal model
data sets
probabilistic model
experimental data
theoretical analysis
structural information
mathematical model
high level
spatial structure
network model
network structure
objective function
process model
closed form
theoretical framework
simulation model
prior knowledge
multiscale