Quotient codings and the descriptive complexity of algebraic and analytic structures
We study the descriptive complexity of algebraic and analytic properties by presenting structures as quotients of fixed generators. For separable Banach-type structures, admissible kernels form Polish spaces and quotient norms are continuous in the Wijsman topology. For countable algebraic structures, congruence spaces are compact and atomic predicates are clopen. In the unital $C^*$-algebra coding, commutativity, MF-ness, stable finiteness and existence of a tracial state are $Π^0_1$-complete. AF-ness, nuclearity, simplicity, property~(SP), approximate divisibility, fixed real- and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.15843
curl -X POST /api/v1/records/arxiv/2604.15843/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.15843/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'