摘要 : The paper is a continuation of [Z. Adamowicz, Fund. Math. 242 (2018)]. We consider conservativity questions between, on the one hand, arithmetical theories in which the operations of successor, addition and multiplication are not ... 展开
作者 | Adamowicz~ Zofia |
---|---|
作者单位 | |
期刊名称 | 《Fundamenta Mathematicae》 |
总页数 | 21 |
语种/中图分类号 | 英语 / O1 |
关键词 | conservativity consistency induction end extension CONSISTENCY |
馆藏号 | N2008EPST0014245 |