Lattice Embeddings in the Recursively Enumerable Truth Table Degrees (Q3030813)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4019041
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lattice Embeddings in the Recursively Enumerable Truth Table Degrees |
scientific article; zbMATH DE number 4019041 |
Statements
1987
0 references
truth-table degrees
0 references
recursively presentable lattice
0 references
tt-degrees
0 references
Lattice Embeddings in the Recursively Enumerable Truth Table Degrees (English)
0 references
0.8840412497520447
0 references
0.8398354053497314
0 references
0.8304161429405212
0 references
0.8303868770599365
0 references
