scientific article

zbMath0451.03014MaRDI QIDQ3897041

Anil Nerode, Rick L. Smith

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lattice of recursively enumerable subspacesrecursively presented vector space

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Structure and representation theory of distributive lattices (06D05) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures ⋮ The undecidability of the lattice of r. e. closed subsets of an effective topological space

This page was built for publication: