scientific article
From MaRDI portal
Publication:3447199
zbMath1143.03017MaRDI QIDQ3447199
Publication date: 28 June 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (8)
Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations ⋮ Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations ⋮ Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations ⋮ Degrees of autostability relative to strong constructivizations ⋮ Categoricity spectra of computable structures ⋮ Computable presentability of countable linear orders ⋮ Index sets for some classes of structures
This page was built for publication: