On weaker forms of choice in second order arithmetic
Fundamenta Mathematicae, Tome 93 (1976) no. 2, pp. 131-144
@article{10_4064_fm_93_2_131_144,
author = {Wojciech Guzicki},
title = {On weaker forms of choice in second order arithmetic},
journal = {Fundamenta Mathematicae},
pages = {131--144},
year = {1976},
volume = {93},
number = {2},
doi = {10.4064/fm-93-2-131-144},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-93-2-131-144/}
}
Wojciech Guzicki. On weaker forms of choice in second order arithmetic. Fundamenta Mathematicae, Tome 93 (1976) no. 2, pp. 131-144. doi: 10.4064/fm-93-2-131-144
Cité par Sources :