The following pages link to (Q4934277):
Displayed 24 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Computability of countable subshifts in one dimension (Q693067) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- PAC learning, VC dimension, and the arithmetic hierarchy (Q892140) (← links)
- Degrees of difficulty of generalized r.e. separating classes (Q926177) (← links)
- Effectively closed sets and enumerations (Q926187) (← links)
- The upward closure of a perfect thin class (Q958485) (← links)
- Effectively closed sets and graphs of computable real functions. (Q1607292) (← links)
- Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy (Q1935363) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
- Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees (Q2750927) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- Invariance in ℰ* and ℰ_{Π} (Q3378462) (← links)
- Computable symbolic dynamics (Q3528142) (← links)
- Degrees containing members of thin Π10 classes are dense and co-dense (Q4565754) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Members of thin Π₁⁰ classes and generic degrees (Q5081539) (← links)
- RANK AND RANDOMNESS (Q5207564) (← links)
- A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals (Q5695769) (← links)
- On the cardinality of future worldlines in discrete spacetime structures (Q6168868) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)