scientific article; zbMATH DE number 1302876

zbMath0933.03043MaRDI QIDQ4249362

Julia F. Knight

Publication date: 29 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

models of arithmeticworkersTuring degreejump degreedynamic storage allocationrecursive modelsatomic diagramdegrees of isomorphic copiesdegrees of modelsmodels for highly non-recursive theories

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)

Related Items

Effectively Existentially-Atomic Structures ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ Measuring complexities of classes of structures ⋮ Coding and definability in computable structures ⋮ Invariance in ℰ* and ℰ_{Π} ⋮ Weak truth table degrees of structures