scientific article; zbMATH DE number 1302875
From MaRDI portal
Publication:4249361
zbMath0958.03030MaRDI QIDQ4249361
Publication date: 5 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyautostabilitycomputable isomorphismrecursive isomorphismalgorithmic dimensionreducibility of constructivizations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (6)
Degree spectra of relations on structures of finite computable dimension ⋮ Degrees of categoricity of computable structures ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ On decidable categoricity and almost prime models ⋮ Computable categoricity of trees of finite height ⋮ Categoricity properties for computable algebraic fields
This page was built for publication:
