Generic objects in recursion theory. II: Operations on recursive approximation spaces
From MaRDI portal
Publication:1820776
DOI10.1016/0168-0072(86)90073-4zbMath0615.03034OpenAlexW2073560388MaRDI QIDQ1820776
Anil Nerode, Jeffery B. Remmel
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90073-4
Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complementation in the lattice of subalgebras of a Boolean algebra
- Automorphisms of supermaximal subspaces
- R-maximal Boolean algebras
- On r.e. and co-r.e. vector spaces with nonextendible bases
- Recursively enumerable generic sets
- Co-hypersimple structures
- Combinational functors on co-r.e. structures
- Recursively enumerable vector spaces
- Recursively enumerable Boolean algebras