Computable topological abelian groups
From MaRDI portal
Publication:2099260
DOI10.1016/j.jalgebra.2022.10.003OpenAlexW3165523243MaRDI 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
General properties and structure of locally compact groups (22D05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (5)
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
This page was built for publication: Computable topological abelian groups