Goldbach猜想对于Peano公理组的条件独立性─—对一些数论问题的逻辑讨论(Ⅰ)

用模型论方法证明了，在对于自然数系的Ｇｏｌｄｂａｃｈ猜想及一阶Ｐｅａｎｏ公理组的某种等 价表述下，前者在逻辑上独立于后者．此外，还宣布了一些其他结果．

n素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.

三素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.

Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价 ) .又证明了它们与一组较强的公理P2 相和谐(P2 也在N上与PA等价 ) .

一类素数问题等对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅳ)

用模型论方法证明了 2次函数素数值问题及一种 3重完美数问题对于PA的条件独立性 ,以及一些更一般的结论 .

完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅲ)

用模型论方法证明了 ,对于在自然数系N上与PA等价的一组公理P1而言 ,N中一类特殊完美数的无限性是独立于P1的 .并且 ,N中一类特殊亲和数的无限性也是独立于P1的 .