Computable topological abelian groups

DOI10.1016/j.jalgebra.2022.10.003MaRDI QIDQ2099260

Alexander G. Melnikov, Martino Lupini, André Nies

Publication date: 23 November 2022

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.12897

zbMATH Keywords

abelian groups; isomorphism problem; Pontryagin-van Kampen duality; computable groups

Mathematics Subject Classification ID

22D05: General properties and structure of locally compact groups

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures

Related Items

Strong computable type, Computable Stone spaces, Separating notions in effective topology, On the main scientific achievements of Victor Selivanov, COMPUTABLY COMPACT METRIC SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Independence in computable algebra
• Expansive automorphisms of totally disconnected, locally compact groups
• Hierarchies of torsion-free Abelian groups
• On the Chabauty space of locally compact Abelian groups
• Some constructivizations of Abelian groups
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Computable structures and the hyperarithmetical hierarchy
• The theory of topological commutative groups
• The computable dimension of ordered abelian groups
• Computable analysis and classification problems
• Degrees of non-computability of homeomorphism types of Polish spaces
• Enumerating abelian \(p\)-groups
• On degree spectra of topological spaces
• The scale and tidy subgroups for endomorphisms of totally disconnected locally compact groups
• Finiteness properties of totally disconnected locally compact groups
• COMPUTABLE ABELIAN GROUPS
• Classes of Ulm type and coding rank-homogeneous trees in other structures
• Computable completely decomposable groups
• Effective procedures in field theory
• Effective aspects of profinite groups
• Effective Galois theory
• A constructive modification of Vietoris homology
• COMPUTABLE POLISH GROUP ACTIONS
• Computable topological groups and Pontryagin duality
• The isomorphism relation on countable torsion free abelian groups
• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• On the commability and quasi-isometry classification of focal groups
• Elementary totally disconnected locally compact groups
• CONSTRUCTIVE ALGEBRAS I
• Computable Algebra, General Theory and Theory of Computable Fields
• Locally projectively nilpotent subgroups and nilelements in topological groups
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
• The structure of compact groups. A primer for the student -- a handbook for the expert