KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

KIAM Preprint № 9, Moscow, 2005
Authors: Popov S.V.
About eliminating of induction axiom
Abstract:
It is established, that in arithmetic proofs of formulas which do not contain individual variables, the axiom of an induction is eliminated.
Publication language: russian, pages: 28
Research direction:
Mathematical modelling in actual problems of science and technics
Source text: