scientific article; zbMATH DE number 1531926

MaRDI QIDQ4513969zbMATH OpenFDO

Authors Bakhadyr Khoussainov, S. S. Goncharov

Publication date 28 May 2001

zbMATH Keywords

theory of numberings

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cited in

(9)

• Turing degrees of complete formulas of almost prime models
• scientific article; zbMATH DE number 5298331 (Why is no real title available?)
• Autostability of prime models under strong constructivizations
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Categoricity spectra for polymodal algebras
• Algebraic structures computable without delay
• Defining algorithmically presented structures in first order logic
• Open problems in constructive function theory
• Computable categoricity and the Ershov hierarchy

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513969)