Switch to: Citations

References in:

Recursive unary algebras and trees

Bakhadyr Khoussainov

Annals of Pure and Applied Logic 67 (1-3):213-268 (1994)

Add references

You must login to add references.

Recursive Boolean algebras with recursive atoms.Jeffrey B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):595-616.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 6 citations
Recursive isomorphism types of recursive Boolean algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.details Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 23 citations
Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 29 citations
A survey of lattices of re substructures.Anil Nerode & Jeffrey Remmel - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--323.details Areas of Mathematics in Philosophy of Mathematics $19.99 used (collection) View on Amazon.com Direct download Export citation Bookmark 15 citations

1