Geodesic
Arithmetical transfinite induction and hierarchies of functions
Fundamenta Mathematicae, Tome 141 (1992) no. 1, pp. 1-20.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We generalize to the case of arithmetical transfinite induction the following three theorems for PA: the Wainer Theorem, the Paris-Harrington Theorem, and a version of the Solovay-Ketonen Theorem. We give uniform proofs using combinatorial constructions.
DOI : 10.4064/fm-141-1-1-20

Z. Ratajczyk 1

1 
@article{10_4064_fm_141_1_1_20,
     author = {Z. Ratajczyk},
     title = {Arithmetical transfinite induction and hierarchies of functions},
     journal = {Fundamenta Mathematicae},
     pages = {1--20},
     publisher = {mathdoc},
     volume = {141},
     number = {1},
     year = {1992},
     doi = {10.4064/fm-141-1-1-20},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-141-1-1-20/}
}
TY  - JOUR
AU  - Z. Ratajczyk
TI  - Arithmetical transfinite induction and hierarchies of functions
JO  - Fundamenta Mathematicae
PY  - 1992
SP  - 1
EP  - 20
VL  - 141
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-141-1-1-20/
DO  - 10.4064/fm-141-1-1-20
LA  - en
ID  - 10_4064_fm_141_1_1_20
ER  - 
%0 Journal Article
%A Z. Ratajczyk
%T Arithmetical transfinite induction and hierarchies of functions
%J Fundamenta Mathematicae
%D 1992
%P 1-20
%V 141
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-141-1-1-20/
%R 10.4064/fm-141-1-1-20
%G en
%F 10_4064_fm_141_1_1_20
Z. Ratajczyk. Arithmetical transfinite induction and hierarchies of functions. Fundamenta Mathematicae, Tome 141 (1992) no. 1, pp. 1-20. doi : 10.4064/fm-141-1-1-20. http://geodesic.mathdoc.fr/articles/10.4064/fm-141-1-1-20/

Cité par Sources :