Forcing axioms via ground model interpretations.

Christopher Henney-Turner Philipp Schlicht

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

Keyphrases

statistical model
cost function
prior knowledge
probabilistic model
computational model
formal model
theoretical framework
information retrieval
probability distribution
management system