The following pages link to (Q3480023):
Displayed 7 items.
- Incomparable prime ideals of recursively enumerable degrees (Q688789) (← links)
- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) (← links)
- Coding a family of sets (Q1295408) (← links)
- Iterated trees and fragments of arithmetic (Q1892096) (← links)
- \(\Sigma_ 5\)-completeness of index sets arising from the recursively enumerable Turing degrees (Q1919542) (← links)
- \(\Sigma_ 5\)-completeness of index sets arising from the lattice of recursively enumerable sets (Q1919553) (← links)
- The combinatorics of the splitting theorem (Q4338322) (← links)