Generic objects in recursion theory. II: Operations on recursive approximation spaces

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

zbMATH Keywords

generic r.e. structuresrecursive approximation space

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item