Topologia, Analisi e Reverse Mathematics
Giusto, Mariagnese
Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999), p. 37-40 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1999-01-01
@article{BUMI_1999_8_2A_1S_37_0,
     author = {Mariagnese Giusto},
     title = {Topologia, Analisi e Reverse Mathematics},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {2-A},
     year = {1999},
     pages = {37-40},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1999_8_2A_1S_37_0}
}

Giusto, Mariagnese. Topologia, Analisi e Reverse Mathematics. Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999) pp. 37-40. http://gdmltest.u-ga.fr/item/BUMI_1999_8_2A_1S_37_0/

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

[2] Simpson, Stephen G., Subsystems of Z2 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 882549 | Zbl 0609.03019

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