A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0.评价结果

评估详情

5