Topologia, Analisi e Reverse Mathematics
Bollettino dell'Unione Matematica Italiana (1999)
- Volume: 2-A, Issue: 1S, page 37-40
- ISSN: 0392-4041
Access Full Article
topHow to cite
topGiusto, Mariagnese. "Topologia, Analisi e Reverse Mathematics." Bollettino dell'Unione Matematica Italiana 2-A.1S (1999): 37-40. <http://eudml.org/doc/219470>.
@article{Giusto1999,
author = {Giusto, Mariagnese},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {1},
number = {1S},
pages = {37-40},
publisher = {Unione Matematica Italiana},
title = {Topologia, Analisi e Reverse Mathematics},
url = {http://eudml.org/doc/219470},
volume = {2-A},
year = {1999},
}
TY - JOUR
AU - Giusto, Mariagnese
TI - Topologia, Analisi e Reverse Mathematics
JO - Bollettino dell'Unione Matematica Italiana
DA - 1999/1//
PB - Unione Matematica Italiana
VL - 2-A
IS - 1S
SP - 37
EP - 40
LA - ita
UR - http://eudml.org/doc/219470
ER -
References
top- SIMPSON, STEPHEN G., Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic (1999), 458 pages. Zbl0909.03048MR1723993DOI10.1007/978-3-642-59971-2
- SIMPSON, STEPHEN G., Subsystems of and reverse mathematics, in Gaisi Takeuti, Proof Theory, Studies in Logic and Foundations of Mathematics, Elsevier, 1987, x + 490 pages, (1978), pp. 434-448. Zbl0609.03019MR882549
- YU, XIAOKANG and SIMPSON, STEPHEN G., Measure theory and weak König's lemma, Archive for Mathematical Logic, 30 (1990), 171-180. Zbl0718.03043MR1080236DOI10.1007/BF01621469
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.