Geodesic
On arithmetic with the notion of ``attainable number''
Izvestiya. Mathematics , Tome 29 (1987) no. 3, pp. 477-510

Voir la notice de l'article provenant de la source Math-Net.Ru

The author investigates the extension of formal arithmetic by the proposition that a concrete “large” natural number is not attainable. It is shown in the article that although the resulting system is inconsistent, the only formulas in the language of arithmetic which can be derived by “short” proofs are those which are theorems of arithmetic. Bibliography: 10 titles. 
@article{IM2_1987_29_3_a0,
     author = {E. S. Bozhich},
     title = {On arithmetic with the notion of ``attainable number''},
     journal = {Izvestiya. Mathematics },
     pages = {477--510},
     publisher = {mathdoc},
     volume = {29},
     number = {3},
     year = {1987},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1987_29_3_a0/}
}
TY  - JOUR
AU  - E. S. Bozhich
TI  - On arithmetic with the notion of ``attainable number''
JO  - Izvestiya. Mathematics 
PY  - 1987
SP  - 477
EP  - 510
VL  - 29
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1987_29_3_a0/
LA  - en
ID  - IM2_1987_29_3_a0
ER  - 
%0 Journal Article
%A E. S. Bozhich
%T On arithmetic with the notion of ``attainable number''
%J Izvestiya. Mathematics 
%D 1987
%P 477-510
%V 29
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1987_29_3_a0/
%G en
%F IM2_1987_29_3_a0
E. S. Bozhich. On arithmetic with the notion of ``attainable number''. Izvestiya. Mathematics , Tome 29 (1987) no. 3, pp. 477-510. http://geodesic.mathdoc.fr/item/IM2_1987_29_3_a0/