Comparing notions of presentability in Polish spaces and Polish groups

A recent area of interest in computable topology compares different notions of effective presentability for topological spaces. In this paper, we show that up to isometry, there is a compact connected Polish space that has both left-c.e. and right-c.e. Polish presentations, but has no computable Polish presentation. We also construct a Polish group that has both left-c.e. and right-c.e. Polish group presentations, but lacks a computable Polish presentation, up to topological isomorphism.

Authors

Publication Details

Journal
Annals of Pure and Applied Logic
Published
2025-02-18
DOI
https://doi.org/10.1016/j.apal.2025.103564
Primary Topic
Computability, Logic, AI Algorithms
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Comparing notions of presentability in Polish spaces and Polish groups

Heer Tern Koh, Sapir Ben-Shahar
Annals of Pure and Applied Logic
Computability, Logic, AI Algorithms
article

Comparing notions of presentability in Polish spaces and Polish groups

Heer Tern Koh, Sapir Ben-Shahar
article en

Abstract

A recent area of interest in computable topology compares different notions of effective presentability for topological spaces. In this paper, we show that up to isometry, there is a compact connected Polish space that has both left-c.e. and right-c.e. Polish presentations, but has no computable Polish presentation. We also construct a Polish group that has both left-c.e. and right-c.e. Polish group presentations, but lacks a computable Polish presentation, up to topological isomorphism.

Annals of Pure and Applied LogicVol. 176(5)
Sustainable cities and communities
Openalex Percentile: Top 96%
Computability, Logic, AI Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Comparing notions of presentability in Polish spaces and Polish groups — Heer Tern Koh, Sapir Ben-Shahar · Annals of Pure and Applied Logic (2025) | TGRS Research Map | TGRS