Polish group actions, nice topologies, and admissible sets


Let G be a closed subgroup of S∞ and X be a Polish G-space. To each x ∈ X we associate an admissible set Ax and show how questions about X which involve Baire category, can be formalized in Ax. 
DOI: 10.1002/malq.200710055