Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding (Q1092897)

From MaRDI portal





scientific article; zbMATH DE number 4021124
Language Label Description Also known as
English
Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding
scientific article; zbMATH DE number 4021124

    Statements

    Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding (English)
    0 references
    1989
    0 references
    [Part I is reviewed above; see Zbl 0628.03031.] \textit{P. Fischer} [J. Symb. Logic 51, 117-129 (1986; Zbl 0587.03030)] showed that there exist r.e. wtt-degrees \(\underset \tilde{} a\neq \underset \tilde{} 0\) such that [0,a] formed a lattice. We show that there exist \(\underset \tilde{} b\neq \underset \tilde{} 0\) bounding no such \(\underset \tilde{} a\). The proof is along the lines of \textit{A. H. Lachlan}'s ``Bounding minimal pairs'' [J. Symb. Logic 44, 626-642 (1979; Zbl 0428.03037)].
    0 references
    r.e. wtt-degrees
    0 references
    0 references

    Identifiers