Pith. sign in

REVIEW 1 cited by

A note on derivatives, expansions and $\Pi^1_1$-ranks

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2107.09866 v1 pith:SR7EDDA3 submitted 2021-07-21 math.LO math.DS

classification math.LOmath.DS
keywords ranksrankderivativesdescriptivegammanotetheoryapplicable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

$\Pi_1^1$-ranks are a natural tool for studying coanalytic sets in descriptive set theory. In the book "Classical descriptive set theory", Kechris provided a technique to build $\Pi_1^1$-ranks using derivatives. In this note we will prove a variant of this result that is applicable to the $\Gamma$-rank. Some dynamical ranks, like the entropy rank can be stated in terms of the $\Gamma$-rank.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dynamical pair assignments

    math.DS 2025-01 conditional novelty 6.0 of 10

    Introduces dynamical pair assignments and proves the space of P-realizable systems is Borel if and only if the associated P-rank is bounded.

Pith tools