Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.
Doets, Kees
Notre Dame J. Formal Logic, Tome 30 (1989) no. 2, p. 224-240 / Harvested from Project Euclid
Publié le : 1989-03-14
Classification:  03C85,  03B15
@article{1093635080,
     author = {Doets, Kees},
     title = {Monadic $\Pi^1\_1$-theories of $\Pi\_1^1$}-properties.},
     journal = {Notre Dame J. Formal Logic},
     volume = {30},
     number = {2},
     year = {1989},
     pages = { 224-240},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093635080}
}
Doets, Kees. Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.. Notre Dame J. Formal Logic, Tome 30 (1989) no. 2, pp.  224-240. http://gdmltest.u-ga.fr/item/1093635080/