2 problems

0 votes0 replies0 views
Palmgren's conjecture on strong and formal continuity on Baire space
Let $X$ and $Y$ be metric spaces. A subset $L$ of $X$ is a compact image if there are a compact metric space $K$ and a uniformly continuous function $f\colon K\to X$ such that…
Conjectureopenconstructive-analysis continuity formal-topologyarXiv posted 2 days ago
0 votes0 replies2 views
The BISH classification conjecture for uniform and nonstandard existence
BISH classification conjecture. There are two categories:
Conjectureopenconstructive-analysis nonstandard-analysis reverse-mathematicsarXiv posted 2 days ago

Palmgren's conjecture on strong and formal continuity on Baire space