Similar Items: Characterization theorem for the conditionally computable real functions
- The Rice-Shapiro theorem in Computable Topology
- An implicit function theorem for the stream calculus
- Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
- Products of effective topological spaces and a uniformly computable Tychonoff Theorem
- Some theorems on passing from local to global presence of properties of functions
- Statman's Hierarchy Theorem