We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). show our notion of OTM-realisability sound with respect to certain systems logic, and all axioms Kripke-Platek are realised. Finally, we use variant the propositional admissible rules (finitary) exactly logic.