Lattice Embeddings in the Recursively Enumerable Truth Table Degrees
From MaRDI portal
Publication:3030813
DOI10.2307/2000657zbMath0627.03025MaRDI QIDQ3030813
Publication date: 1987
Full work available at URL: https://doi.org/10.2307/2000657
06B15: Representation theory of lattices
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
Cites Work