scientific article; zbMATH DE number 2047485
From MaRDI portal
Publication:4451642
zbMath1034.03043MaRDI QIDQ4451642
Denis R. Hirschfeldt, Sergei S. Goncharov, Rodney G. Downey
Publication date: 29 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computable modeldegree spectrumcomputable Boolean algebracomputable relationintrinsically recursive relations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Computable ideals in \(I\)-algebras ⋮ Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms ⋮ Degree spectra of the successor relation of computable linear orderings ⋮ Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
This page was built for publication: