scientific article; zbMATH DE number 749934
From MaRDI portal
Publication:4764115
zbMath0824.03020MaRDI QIDQ4764115
Publication date: 1 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Complexity of \(\Sigma^0_n\)-classifications for definable subsets ⋮ An undecidable linear order that is \(n\)-decidable for all \(n\)
This page was built for publication: