ula_1。相对可实现性是非必需可计算的数据结构的递归或递归可枚举元素的直觉主义分析，比如在实数在数字计算机系统上只能近似表示的时候在所有实数上的可计算的运算。
计算机科学应用.改进可实现性证实了实施于某些证明辅助工具比如Coq中的“证明提取”过程。