The strength of the $\Delta$-system lemma.
Howard, Paul ; Solski, Jeffrey
Notre Dame J. Formal Logic, Tome 33 (1992) no. 3, p. 100-106 / Harvested from Project Euclid
Publié le : 1992-12-14
Classification:  03E25,  03E05,  03E35
@article{1093634567,
     author = {Howard, Paul and Solski, Jeffrey},
     title = {The strength of the $\Delta$-system lemma.},
     journal = {Notre Dame J. Formal Logic},
     volume = {33},
     number = {3},
     year = {1992},
     pages = { 100-106},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093634567}
}
Howard, Paul; Solski, Jeffrey. The strength of the $\Delta$-system lemma.. Notre Dame J. Formal Logic, Tome 33 (1992) no. 3, pp.  100-106. http://gdmltest.u-ga.fr/item/1093634567/