INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE.

Saved in:

Bibliographic Details
Title:	INTERPRETATION OF INACCESSIBLE SETS IN MARTIN-LÖF TYPE THEORY WITH ONE MAHLO UNIVERSE.
Authors:	TAKAHASHI, YUTA¹, y.takahashi@aomori-u.ac.jp
Source:	Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p16:1-16:34, 34p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-21(4:16)2025