Publication:4460832

zbMath1054.03028MaRDI QIDQ4460832

Rodney G. Downey

Publication date: 29 March 2004

zbMATH Keywords

computable model; computable presentation of a model; degree of a model; spectrum of a model

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures

Related Items

The jump operation for structure degrees, Presentations of computably enumerable reals., Some Questions in Computable Mathematics