Geodesic
Arithmetical transfinite induction and hierarchies of functions
Fundamenta Mathematicae, Tome 141 (1992) no. 1, pp. 1-20 Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences

Voir la notice de l'article

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},
     year = {1992},
     volume = {141},
     number = {1},
     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
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
%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

Cité par Sources :