Effective compactness and orbits of points under the isometry group

Zvonko Iljazovic, Lucija Validzic. Effective compactness and orbits of points under the isometry group. Annals of Pure and Applied Logic, 174(2):103198, 2023. [doi]

Abstract

Abstract is missing.