limited principle of omniscience

weakening of the law of excluded middle in constructive mathematics