Computable topological abelian groups

DOI10.1016/J.JALGEBRA.2022.10.003OpenAlexW3165523243MaRDI QIDQ2099260FDOQ2099260

Alexander 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

isomorphism problemabelian groupscomputable groupsPontryagin-van Kampen duality

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) General properties and structure of locally compact groups (22D05)

Cites Work

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

Cited In (9)

• Every \(\Delta^0_2\) Polish space is computable topological
• Separating notions in effective topology
• On the main scientific achievements of Victor Selivanov
• COMPUTABLY COMPACT METRIC SPACES
• Computable abelian groups
• Computable torsion abelian groups
• Strong computable type
• Computable topological abelian groups
• Computable Stone spaces

This page was built for publication: Computable topological abelian groups

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