bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 37-40

Referenza completa

Giusto, Mariagnese:
Topologia, Analisi e Reverse Mathematics
Bollettino dell'Unione Matematica Italiana Serie 8 2-A (1999) —La Matematica nella Società e nella Cultura, fasc. n.1S —Supplemento Tesi di Dottorato, p. 37-40, Unione Matematica Italiana (Italian)
pdf (678 Kb), djvu (103 Kb).

Referenze Bibliografiche
[1] STEPHEN G. SIMPSON, Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic (1999), 458 pages. | fulltext (doi) | MR 1723993 | Zbl 0909.03048
[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 882549 | Zbl 0609.03019
[3] XIAOKANG YU and STEPHEN G. SIMPSON, Measure theory and weak König's lemma, Archive for Mathematical Logic, 30 (1990), 171-180. | fulltext (doi) | MR 1080236 | Zbl 0718.03043
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 37-40

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali