Pages that link to "Item:Q5687321"
From MaRDI portal
The following pages link to Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices (Q5687321):
Displaying 7 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Continuity of capping in \(\mathcal C_{\text{bT}}\) (Q947265) (← links)
- Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding (Q1092897) (← links)
- Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees (Q1840456) (← links)
- Hypersimplicity and semicomputability in the weak truth table degrees (Q2576639) (← links)
- Principal filters definable by parameters in 𝓔<sub>bT</sub> (Q3616223) (← links)
