|
|||||
|
|
AN ELEMENTARY SYSTEM AS AND ITS SEMI-COMPLETENESS AND DECIDABILITY |
|
| Authors: | Qin Jun |
| Abstract: | The author establishes an elementary system AS which contains functions +, ? and a constant 0 and then proves the semi-completeness and the decidability of AS, using the theory of systems of inequalities. |
| Keywords: | recursive arithmetic decidability semi-completeness elementary system system of equations |