Nonuniform autostability of models
From MaRDI portal
Publication:1117216
DOI10.1007/BF01988314zbMath0667.03025MaRDI QIDQ1117216
Publication date: 1987
Published in: Algebra and Logic (Search for Journal in Brave)
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
Recursive unary algebras and trees ⋮ Computable classes of constructivizations for models of infinite algorithmic dimension ⋮ Some applications of computable one-one numberings
Cites Work