Reducing the consistency strength of an indestructibility theorem.

Arthur W. Apter

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

Keyphrases

multiscale
website
special case
data sets
decision trees
high level
learning environment
np complete
consistency checking
global consistency