Computably locally compact groups and their closed subgroups

DOI10.1142/S0218196725500432MaRDI QIDQ6876700zbMATH OpenFDO

Authors Alexander Melnikov, André Nies

Publication date 12 January 2026

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196725500432

zbMATH Keywords

computable analysiscomputable group theorycomputable topologylocally compact groups

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Applications of computability and recursion theory (03D80) General properties and structure of locally compact groups (22D05) Constructive real analysis (26E40) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Cites work

• A Hausdorff Topology for the Closed Subsets of a Locally Compact Non-Hausdorff Space
• An arithmetic analysis of closed surfaces
• Closed choice and a uniform low basis theorem
• Computability of Polish spaces up to homeomorphism
• Computability of Subsets of Metric Spaces
• Computable abelian groups
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable analysis and classification problems
• Computable ordered abelian groups and fields
• Computable Polish group actions
• Computable Stone spaces
• Computable structures and the hyperarithmetical hierarchy
• Computable topological abelian groups
• Computable topological groups
• Computable topological groups and Pontryagin duality
• COMPUTABLY COMPACT METRIC SPACES
• Computational complexity on computable metric spaces
• Computing Haar Measures
• Constructing Metrics with the Heine-Borel Property
• Effective aspects of profinite groups
• Effective content of field theory
• Effective Galois theory
• Effectively closed subgroups of the infinite symmetric group
• Effectiveness of the global modulus of continuity on metric spaces
• Elementary totally disconnected locally compact groups
• Expansive automorphisms of totally disconnected, locally compact groups
• Finiteness properties of totally disconnected locally compact groups
• scientific article; zbMATH DE number 3818016 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3741370 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1746036 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 6438003 (Why is no real title available?)
• scientific article; zbMATH DE number 3250559 (Why is no real title available?)
• Independence in computable algebra
• Index sets in computable analysis
• Local compactness for computable Polish metric spaces is ^1_1-complete
• Metrization of the One-Point Compactification
• On computable metrization
• On computably locally compact Hausdorff spaces
• On the Chabauty space of locally compact Abelian groups
• On the normality of numbers to different bases
• On the topological aspects of the theory of represented spaces
• Separating notions in effective topology
• The classification problem for compact computable metric spaces
• The computable dimension of ordered abelian groups
• The scale and tidy subgroups for endomorphisms of totally disconnected locally compact groups

This page was built for publication: Computably locally compact groups and their closed subgroups

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