query: Finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R
positive_passages.docid: 146162
positive_passages.text: Try finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R
negative_passages.docid: 3465
negative_passages.text: Equivalence relations and power sets.
negative_passages.docid: 87926
negative_passages.text: Pumping Lemma for $L=\left\{0^i 1^{j} \mid \gcd(i,j) = 1\right\}$
negative_passages.docid: 62077
negative_passages.text: Prove that if $W_1\subseteq V$ finite-dimensional, then there is $W_2\subseteq V$ such that $V=W_1\oplus W_2$
negative_passages.docid: 139177
negative_passages.text: Ramsey Number Inequality: $R(\underbrace{3,3,...,3,3}_{k+1}) \le (k+1)(R(\underbrace{3,3,...3}_k)-1)+2$
negative_passages.docid: 92135
negative_passages.text: If $A$ is regular, is the language $\{x \;\mid\; \exists y : |y| = |x|^2, xy \in A\}$ regular?
negative_passages.docid: 28658
negative_passages.text: $R$ with an upper bound for degrees of irreducibles in $R[x]$
negative_passages.docid: 4383
negative_passages.text: Finitely generated monoids - how to show that there is not first order set axiomatizing them.
negative_passages.docid: 100437
negative_passages.text: Classification of connected subsets of the real line (up to homeomorphism)
negative_passages.docid: 93923
negative_passages.text: No surjective bounded linear map from $\ell^2(\mathbf{N})$ to $\ell^1(\mathbf{N})$
negative_passages.docid: 45405
negative_passages.text: An elementary way to show any bounded subset of $\Bbb{R}^k$ is totally bounded
negative_passages.docid: 120522
negative_passages.text: Showing any countable, dense, linear ordering is isomorphic to a subset of $\mathbb{Q}$
negative_passages.docid: 84386
negative_passages.text: Domain strictly contained in the intersection of localizations at the primes of height one
negative_passages.docid: 127596
negative_passages.text: Composition of equivalence relations
negative_passages.docid: 65910
negative_passages.text: Reflexivity of equivalence relations
negative_passages.docid: 146664
negative_passages.text: The union of two linearly independent subsets
negative_passages.docid: 106670
negative_passages.text: Existence of vector space complement and axiom of choice