Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma0.评价结果

评估详情