Pages that link to "Item:Q5190191"
From MaRDI portal
The following pages link to Lattice initial segments of the hyperdegrees (Q5190191):
Displaying 5 items.
- Initial segments of the degrees of constructibility (Q1109767) (← links)
- Initial segments of the degrees of size \(\aleph _ 1\) (Q1820153) (← links)
- Initial segments of <i>Δ</i><sub>2<i>n</i>+1</sub><sup>1</sup>-degrees (Q3801542) (← links)
- ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES (Q4600467) (← links)
- The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable (Q5037208) (← links)