Computable Ordered Abelian Groups and Fields

DOI10.1007/978-3-642-13962-8_36zbMath1286.03145OpenAlexW1492919311MaRDI QIDQ3576220

Alexander G. Melnikov

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_36

zbMATH Keywords

computable algebraeffective categoricity

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Ordered fields (12J15)

Related Items (7)

Degrees of autostability for linear orders and linearly ordered abelian groups ⋮ Effectively categorical abelian groups ⋮ Computable completely decomposable groups ⋮ A Note on Effective Categoricity for Linear Orderings ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ Categorical linearly ordered structures ⋮ Индексное множество автоустойчивых упорядоченных абелевых групп

This page was built for publication: Computable Ordered Abelian Groups and Fields