scientific article; zbMATH DE number 2063217

MaRDI QIDQ4460832zbMATH OpenFDO

Authors Rodney G. Downey

Publication date 29 March 2004

zbMATH Keywords

computable modelcomputable presentation of a modeldegree of a modelspectrum of a model

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• scientific article; zbMATH DE number 23020
• Computability and Definability
• scientific article; zbMATH DE number 2151710
• Abstract computability and algebraic specification
• scientific article; zbMATH DE number 1344955
• Computability of algebraic and definable closure
• scientific article; zbMATH DE number 3933053
• scientific article; zbMATH DE number 1467185
• scientific article; zbMATH DE number 2047478
• Abstract Computability and Invariant Definability

Cited in

(16)

• Hypercomputation by definition
• Computable structures and the hyperarithmetical hierarchy
• Presentations of computably enumerable reals.
• Coding and definability in computable structures
• Computability of algebraic and definable closure
• Rice sequences of relations
• Some Questions in Computable Mathematics
• scientific article; zbMATH DE number 4154430 (Why is no real title available?)
• scientific article; zbMATH DE number 3933053 (Why is no real title available?)
• scientific article; zbMATH DE number 1531922 (Why is no real title available?)
• scientific article; zbMATH DE number 6863850 (Why is no real title available?)
• Generalizing Computability Theory to Abstract Algebras
• scientific article; zbMATH DE number 2151710 (Why is no real title available?)
• On computable aspects of algebraic and definable closure
• scientific article; zbMATH DE number 5267925 (Why is no real title available?)
• The jump operation for structure degrees

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 Q4460832)