Geodesic
Topologia, Analisi e Reverse Mathematics
Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 37-40.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_1999_8_2A_1S_a8,
     author = {Giusto, Mariagnese},
     title = {Topologia, {Analisi} e {Reverse} {Mathematics}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {37--40},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1S},
     year = {1999},
     zbl = {0909.03048},
     mrnumber = {1723993},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a8/}
}
TY  - JOUR
AU  - Giusto, Mariagnese
TI  - Topologia, Analisi e Reverse Mathematics
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 37
EP  - 40
VL  - 2A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a8/
LA  - it
ID  - BUMI_1999_8_2A_1S_a8
ER  - 
%0 Journal Article
%A Giusto, Mariagnese
%T Topologia, Analisi e Reverse Mathematics
%J Bollettino della Unione matematica italiana
%D 1999
%P 37-40
%V 2A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a8/
%G it
%F BUMI_1999_8_2A_1S_a8
Giusto, Mariagnese. Topologia, Analisi e Reverse Mathematics. Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 37-40. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a8/

[1] Stephen G. Simpson, Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic (1999), 458 pages. | DOI | MR | Zbl

[2] Stephen G. Simpson, Subsystems of \(Z_{2}\) and reverse mathematics, in Gaisi Takeuti, Proof Theory, Studies in Logic and Foundations of Mathematics, Elsevier, 1987, x + 490 pages, (1978), pp. 434-448. | MR | Zbl

[3] Xiaokang Yu and Stephen G. Simpson, Measure theory and weak König's lemma, Archive for Mathematical Logic, 30 (1990), 171-180. | DOI | MR | Zbl