 In reverse mathematics one tries to establish for mathematical theorems which axioms are needed to prove them. In intuitionistic reverse mathematics one has a similar aim, but then with respect to intuitionistic theorems: working over a weak intuitionistic theory, axioms and theorems are compared to each other. The typical axioms with which one wishes theorems to compare are the fan principle and the bar principle, Kripke’s schema and the continuity axioms.