The following pages link to (Q3819052):
Displayed 50 items.
- Some applications of computable one-one numberings (Q750430) (← links)
- Cook reducibility is faster than Karp reducibility in NP (Q751812) (← links)
- Determining and stationary sets for some classes of partial recursive functions (Q757357) (← links)
- Empty intervals in the enumeration degrees (Q764276) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Degrees of orderings not isomorphic to recursive linear orderings (Q810503) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Learning via finitely many queries (Q812396) (← links)
- There is no ordering on the classes in the generalized high/low hierarchies (Q818520) (← links)
- Lowness for genericity (Q818521) (← links)
- On the computing power of fuzzy Turing machines (Q835106) (← links)
- The complexity of finding SUBSEQ\((A)\) (Q839630) (← links)
- On the learnability of vector spaces (Q859986) (← links)
- Intervals containing exactly one c.e. degree (Q876386) (← links)
- On the definable ideal generated by the plus cupping c.e. degrees (Q877264) (← links)
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- PAC learning, VC dimension, and the arithmetic hierarchy (Q892140) (← links)
- Ramsey-type graph coloring and diagonal non-computability (Q892143) (← links)
- Some properties of \(r\)-maximal sets and \(Q_{1,N}\)-reducibility (Q892147) (← links)
- Taking the Pirahã seriously (Q907196) (← links)
- An easy priority-free proof of a theorem of Friedberg (Q913786) (← links)
- On degree-preserving homeomorphisms between trees in computable topology (Q926174) (← links)
- Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely (Q926184) (← links)
- Effectively closed sets and enumerations (Q926187) (← links)
- Inferring answers to queries (Q927868) (← links)
- Branching in the \({\Sigma^0_2}\)-enumeration degrees: a new perspective (Q938234) (← links)
- Continuity of capping in \(\mathcal C_{\text{bT}}\) (Q947265) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- The isomorphism problem for torsion-free abelian groups is analytic complete (Q952542) (← links)
- Structural properties of \(Q\)-degrees of n-c.e. sets (Q958482) (← links)
- Ramsey's theorem for trees: the polarized tree theorem and notions of stability (Q964459) (← links)
- Computing interpolating sequences (Q970109) (← links)
- Numberings optimal for learning (Q972383) (← links)
- Goodness in the enumeration and singleton degrees (Q992037) (← links)
- Elementary differences among jump classes (Q1007245) (← links)
- The polarized Ramsey's theorem (Q1014283) (← links)
- Dimension extractors and optimal decompression (Q1015378) (← links)
- Classification of computably approximable real numbers (Q1015380) (← links)
- Post's problem for ordinal register machines: an explicit approach (Q1032632) (← links)
- A non-splitting theorem in the enumeration degrees (Q1032639) (← links)
- Martin's conjecture and strong ergodicity (Q1042438) (← links)
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency (Q1043325) (← links)
- Completely mitotic r. e. degrees (Q1092895) (← links)
- Classification of degree classes associated with r.e. subspaces (Q1092898) (← links)
- Recursively enumerable \(m\)- and \(tt\)-degrees. II: The distribution of singular degrees (Q1094415) (← links)
- Diagonalizations over polynomial time computable sets (Q1107526) (← links)
- Collapsing degrees (Q1109766) (← links)
- An improved zero-one law for algorithmically random sequences (Q1127324) (← links)
- Index sets of classes of hyper-hypersimple sets (Q1174056) (← links)
- Domain theory in logical form (Q1174593) (← links)