INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE. - TAKAHASHI, YUTA (Logical Methods in Computer Science (LMCS), 2025)