Hierarchy of semi-classical
The converse of arrows in the hierarchy of
semi-classical principles are conjectured
not to be derivable in HA.
The conjecture have been solved for
levels, which include all principles
corresponding to inductive inference and
It is still open for the higher levels.