Pages that link to "Item:Q1893143"
From MaRDI portal
The following pages link to \(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation (Q1893143):
Displaying 4 items.
- Decidability of the existential theory of infinite terms with subterm relation (Q1314267) (← links)
- \(\clubsuit\) does not imply the existence of a Suslin tree (Q1961343) (← links)
- Complexity of the theory of the binary tree with constants (Q3986920) (← links)
- Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> (Q4276037) (← links)