Showing 2024Show all
2 papers · 1 filter
math.LO2024
Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism
Gianluca Paolini, Andre Nies
The paper establishes results following two interconnected directions. 1. Let be a Roelcke precompact closed subgroup of the group of permutations of the natu…
math.GR2024
Computably locally compact groups and their closed subgroups
Alexander G. Melnikov, Andre Nies
Given a computably locally compact Polish space , we show that its 1-point compactification is computably compact. Then, for a computably locally compact group , we sho…