Publication:4764115
From MaRDI portal
zbMath0824.03020MaRDI QIDQ4764115
Publication date: 1 May 1995
self-embeddings; \(n\)-recursive categoricity; \(n\)-recursive linear order; \(n\)-recursive structure
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
An undecidable linear order that is \(n\)-decidable for all \(n\), Complexity of \(\Sigma^0_n\)-classifications for definable subsets