Publication:4460832

From MaRDI portal
Revision as of 06:08, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4460832&oldid=18517577"
Powered by MediaWiki