论文信息 - Some conservation results for fragments of arithmetic - 字舞流文

Some conservation results for fragments of arithmetic

Jeff B. Paris | J. Paris

[1] Jeff B. Paris,et al. Initial segments of models of Peano's axioms , 1977 .

[2] J. Paris,et al. ∑n-Collection Schemas in Arithmetic , 1978 .

[3] Jeff B. Paris,et al. A Hierarchy of Cuts in Models of Arithmetic , 1980 .