Geodesic
A~new concept of predicative truth and definability
Matematičeskie zametki, Tome 13 (1973) no. 5, pp. 735-745.

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

In this paper a conception of predicative truth in the language of naive analysis is given, and the peculiarities of the induced logic are studied. It is shown that this concept can be formalized in a system with a constructive Carnap rule and that in a theory based on this concept of truth the same things can be expressed that can be expressed in the usual theories of hyperarithmetic and ramified analysis. 
@article{MZM_1973_13_5_a12,
     author = {N. N. Nepeivoda},
     title = {A~new concept of predicative truth and definability},
     journal = {Matemati\v{c}eskie zametki},
     pages = {735--745},
     publisher = {mathdoc},
     volume = {13},
     number = {5},
     year = {1973},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a12/}
}
TY  - JOUR
AU  - N. N. Nepeivoda
TI  - A~new concept of predicative truth and definability
JO  - Matematičeskie zametki
PY  - 1973
SP  - 735
EP  - 745
VL  - 13
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a12/
LA  - ru
ID  - MZM_1973_13_5_a12
ER  - 
%0 Journal Article
%A N. N. Nepeivoda
%T A~new concept of predicative truth and definability
%J Matematičeskie zametki
%D 1973
%P 735-745
%V 13
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a12/
%G ru
%F MZM_1973_13_5_a12
N. N. Nepeivoda. A~new concept of predicative truth and definability. Matematičeskie zametki, Tome 13 (1973) no. 5, pp. 735-745. http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a12/