Regular enumerations
Soskov, I. N. ; Baleva, V.
J. Symbolic Logic, Tome 67 (2002) no. 1, p. 1323-1343 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In the paper we introduce and study regular enumerations for arbitrary recursive ordinals. Several applications of the technique are presented.
Publié le : 2002-12-14
Classification:  03D25,  03D45 
@article{1190150287,
     author = {Soskov, I. N. and Baleva, V.},
     title = {Regular enumerations},
     journal = {J. Symbolic Logic},
     volume = {67},
     number = {1},
     year = {2002},
     pages = { 1323-1343},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1190150287}
}

Soskov, I. N.; Baleva, V. Regular enumerations. J. Symbolic Logic, Tome 67 (2002) no. 1, pp.  1323-1343. http://gdmltest.u-ga.fr/item/1190150287/