Combinatorial principles concerning approximations of functions.
Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 13-28
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
combinatorial principles, approximations of functions, provability or unprovability in PA, fragments, Pudlak principle
@article{AMLG_1987__26_138050,
author = {Petr H\'ajek and Jeff Paris},
title = {Combinatorial principles concerning approximations of functions.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {13--28},
year = {1987},
volume = {26},
zbl = {0645.03057},
url = {http://geodesic.mathdoc.fr/item/AMLG_1987__26_138050/}
}
Petr Hájek; Jeff Paris. Combinatorial principles concerning approximations of functions.. Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 13-28. http://geodesic.mathdoc.fr/item/AMLG_1987__26_138050/