The Computable Dimension of I-Trees of Infinite Height

DOI10.1023/B:ALLO.0000048828.44523.94zbMath1096.03051OpenAlexW2016573747MaRDI QIDQ5476778

Oleg V. Kudinov, N. T. Kogabaev, Russell G. Miller

Publication date: 18 July 2006

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:allo.0000048828.44523.94

zbMATH Keywords

treecomputable modelrecursive modelalgorithmic dimension

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Universal functions and almost \(c\)-simple models ⋮ d-computable categoricity for algebraic fields ⋮ Computable categoricity for algebraic fields with splitting algorithms ⋮ Categoricity properties for computable algebraic fields

This page was built for publication: The Computable Dimension of I-Trees of Infinite Height