Publication:4885914
From MaRDI portal
zbMath0851.03012MaRDI QIDQ4885914
Publication date: 28 July 1996
Turing machine; algebraically closed fields; classes of complex numbers; classes of real numbers; mappings over infinite words
12L99: Connections between field theory and logic
11K99: Probabilistic theory: distribution modulo (1); metric theory of algorithms
03D10: Turing machines and related notions
12D99: Real and complex fields
Related Items
A characterization of c. e. random reals, Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations