A Mathias criterion for the Magidor iteration of Prikry forcings.

Published in: Arch. Math. Log. (2024)

Keyphrases

stopping criterion
objective function
database
feature selection
special case
neural network
data mining
information retrieval
image segmentation
database systems
search algorithm
nonmonotonic reasoning
selection criterion
minimum description length
optimization criterion
optimality criterion