A new model construction by making

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics

ผลลัพธ์ (ไทย) 1:

การก่อสร้างใหม่ โดยทำแบบทางอ้อมผ่านทฤษฎี intuitionistic II: Interpretability ขอบต่ำของคณิตศาสตร์อย่างชัดเจนของ Feferman

ผลลัพธ์ (ไทย) 3:

รูปแบบใหม่ก่อสร้างโดยการอ้อมผ่านทฤษฎี 2 intuitionistic : interpretability ขอบเขตล่างของ feferman ชัดเจนของคณิตศาสตร์