Computability and computable models

MaRDI QIDQ3447199zbMATH OpenFDO

Authors S. S. Goncharov

Publication date 28 June 2007

zbMATH Keywords

algebraic structurescomputable modelsnumbered modelsstructure complexitysurvey paper

Mathematics Subject Classification ID

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

Recommendations

• Computability-Theoretic Complexity of Countable Structures
• scientific article; zbMATH DE number 1302870
• Classification from a Computable Viewpoint
• scientific article; zbMATH DE number 1302873
• Computability and models. Perspectives east and west

Cited in

(19)

• Index sets for some classes of structures
• A new spectrum of computable models
• Categoricity spectra of computable structures
• Computable presentability of countable linear orders
• Degrees of autostability relative to strong constructivizations
• Uniform \(m\)-equivalencies and numberings of classical systems
• Computability and universal determinability of negatively representable models
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• Directions for computability theory beyond pure mathematical
• Computable Models
• scientific article; zbMATH DE number 4128803 (Why is no real title available?)
• Computational model theory: an overview
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• scientific article; zbMATH DE number 1531924 (Why is no real title available?)
• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• Isomorphisms and definable relations on computable models
• New Computational Paradigms
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations

This page was built for publication: Computability and computable models

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