Computable ordered abelian groups and fields

DOI10.1007/978-3-642-13962-8_36MaRDI QIDQ3576220zbMATH OpenOpenAlexFDO

Authors Alexander 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

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

Recommendations

• Categorical linearly ordered structures
• Degrees of orders on torsion-free abelian groups
• Recursion theory and ordered groups
• The computable dimension of ordered abelian groups
• Computable dimension for ordered fields

Cited in

(14)

• Computability of the class of strongly constructivizable Abelian \(p\)-groups
• Computability of the class of strongly constructivizable abelian \(p\)-groups
• Computable torsion abelian groups
• Categorical linearly ordered structures
• Degrees of autostability for linear orders and linearly ordered abelian groups
• Effectively categorical abelian groups
• Computable abelian groups
• A note on effective categoricity for linear orderings
• Computable completely decomposable groups
• Computable functors and effective interpretability
• COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS
• Индексное множество автоустойчивых упорядоченных абелевых групп
• Computably locally compact groups and their closed subgroups
• Complexity of well-ordered sets in an ordered abelian group

This page was built for publication: Computable ordered abelian groups and fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3576220)