An arithmetical hierarchy of the law of excluded middle and related principles | IEEE Conference Publication | IEEE Xplore