Computable topological groups

DOI10.1017/JSL.2023.67MaRDI QIDQ6987832zbMATH OpenFDO

Authors Heer Tern Koh, Alexander Melnikov, Keng Meng Ng

Publication date 6 May 2025

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2023.67

zbMATH Keywords

Birkhoff-Kakutani theoremcomputable groupsPolish groupsright-c.e. Polish presentationtopological groups

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80)

Cites work

• A tutorial on computable analysis
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• 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 Polish group actions
• Computable Stone spaces
• Computable structures and the hyperarithmetical hierarchy
• Computable topological abelian groups
• Computable topological groups and Pontryagin duality
• COMPUTABLY COMPACT METRIC SPACES
• Computing Haar Measures
• CONSTRUCTIVE ALGEBRAS I
• Effective aspects of profinite groups
• Effective content of field theory
• Effective Galois theory
• Effective topological spaces. I: A definability theory
• Effectively closed subgroups of the infinite symmetric group
• Effectiveness of the global modulus of continuity on metric spaces
• Elementary computable topology
• Hierarchies of Boolean algebras
• Hierarchies of torsion-free Abelian groups
• scientific article; zbMATH DE number 4156425 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3452167 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3200656 (Why is no real title available?)
• Invariant descriptive set theory
• Invariant Metrics in Groups (Solution of a Problem of Banach)
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
• On computable metrization
• On computably locally compact Hausdorff spaces
• On the topological aspects of the theory of represented spaces
• Recursive metric spaces
• Separating notions in effective topology
• Subgroups of finitely presented groups
• The Rice-Shapiro theorem in computable topology
• The word problem

Cited in

(2)

• Computably locally compact groups and their closed subgroups
• Effective bases and notions of effective second countability in computable analysis

This page was built for publication: Computable topological groups

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