pith. sign in

arxiv: 0903.1070 · v2 · submitted 2009-03-05 · 🧮 math.LO

Polish group actions and computability

classification 🧮 math.LO
keywords grouppolishactionsbasisbelongscharacteristicclopenclosed
0
0 comments X
read the original abstract

Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U (where U is from A). We consider computable complexity of f and some related questions.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.