The following pages link to Maximal theories (Q1093629):
Displaying 9 items.
- Sound, totally sound, and unsound recursive equivalence types (Q581397) (← links)
- Effectively closed sets and enumerations (Q926187) (← links)
- The upward closure of a perfect thin class (Q958485) (← links)
- Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (Q1083446) (← links)
- Countable thin \(\Pi^0_1\) classes (Q1208080) (← links)
- Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees (Q2750927) (← links)
- The Lattice of Computably Enumerable Vector Spaces (Q2970969) (← links)
- Initial segments of the lattice of Π<sub>1</sub><sup>0</sup> classes (Q4328831) (← links)
- Degrees containing members of thin Π10 classes are dense and co-dense (Q4565754) (← links)
