Recursive Boolean Algebras with Recursive Atoms
Remmel, Jeffrey B.
J. Symbolic Logic, Tome 46 (1981) no. 1, p. 595-616 / Harvested from Project Euclid
Publié le : 1981-09-14
Classification: 
@article{1183740832,
     author = {Remmel, Jeffrey B.},
     title = {Recursive Boolean Algebras with Recursive Atoms},
     journal = {J. Symbolic Logic},
     volume = {46},
     number = {1},
     year = {1981},
     pages = { 595-616},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740832}
}
Remmel, Jeffrey B. Recursive Boolean Algebras with Recursive Atoms. J. Symbolic Logic, Tome 46 (1981) no. 1, pp.  595-616. http://gdmltest.u-ga.fr/item/1183740832/