Pages that link to "Item:Q2803247"
From MaRDI portal
The following pages link to Turing's legacy. Developments from Turing's ideas in logic (Q2803247):
Displaying 31 items.
- Notes on computable analysis (Q519888) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- On approximations for functions in the space of uniformly convergent Fourier series (Q2007611) (← links)
- Degree spectra of structures relative to equivalences (Q2011365) (← links)
- Punctual dimension of algebraic structures in certain classes (Q2030135) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Enumerating classes of effective quasi-Polish spaces (Q2104255) (← links)
- Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) (← links)
- Turing degrees and automorphism groups of substructure lattices (Q2213916) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- Investigations on the approximability and computability of the Hilbert transform with applications (Q2300755) (← links)
- T for Turing. Machine and, also, uneasiness and desire (Q2304783) (← links)
- Philosophical explorations of the legacy of Alan Turing. Turing 100 (Q2410691) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Cameo of a Consummate Computabilist (Q2973714) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- Analytic computable structure theory and $L^p$ spaces (Q4615025) (← links)
- Measure-theoretic uniformity and the Suslin functional (Q4995604) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- Decompositions of decidable abelian groups (Q5216188) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
- Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing (Q6182782) (← links)
- Mathematical reasoning and the computer (Q6536119) (← links)
- Cohesive powers of structures (Q6565572) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- Computability in infinite Galois theory and algorithmically random algebraic fields (Q6641590) (← links)
- Inverse problems are solvable on real number signal processing hardware (Q6652581) (← links)
