Separating notions in effective topology

DOI10.1142/s0218196723500649MaRDI QIDQ6142834

Alexander G. Melnikov, Keng Meng Ng

Publication date: 4 January 2024

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

zbMATH Keywords

computable topologycomputable topological groups

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Expansive automorphisms of totally disconnected, locally compact groups
• Hierarchies of torsion-free Abelian groups
• New degree spectra of Polish spaces
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• Computability of Julia sets
• Effective topological spaces. I: A definability theory
• Effectiveness of the global modulus of continuity on metric spaces
• Computable structures and the hyperarithmetical hierarchy
• Computability of products of chainable continua
• Computable topological abelian groups
• Degrees of non-computability of homeomorphism types of Polish spaces
• On degree spectra of topological spaces
• The scale and tidy subgroups for endomorphisms of totally disconnected locally compact groups
• Universality for left-computably enumerable metric spaces
• Finiteness properties of totally disconnected locally compact groups
• Computable Boolean algebras
• On Turing degrees of points in computable topology
• On computably locally compact Hausdorff spaces
• Effective aspects of profinite groups
• Effective Galois theory
• Effective content of field theory
• COMPUTABLE POLISH GROUP ACTIONS
• The Rice-Shapiro theorem in Computable Topology
• Computable topological groups and Pontryagin duality
• Effectively closed subgroups of the infinite symmetric group
• Highlights of the Rice-Shapiro Theorem in Computable Topology
• Computability of Subsets of Metric Spaces
• Connected choice and the Brouwer fixed point theorem
• Elementary totally disconnected locally compact groups
• The Classification Problem for Compact Computable Metric Spaces
• CONSTRUCTIVE ALGEBRAS I
• First Order Theories of Some Lattices of Open Sets
• Computable Algebra, General Theory and Theory of Computable Fields
• Recursive metric spaces
• Hierarchies of Boolean algebras
• COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
• Computing Haar Measures
• The word problem
• Computable Stone spaces
• COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: Separating notions in effective topology