Pith. sign in

REVIEW

Generically Computable Linear Orderings

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 2401.14598 v1 pith:VITHGKFZ submitted 2024-01-26 math.LO

Generically Computable Linear Orderings

classification math.LO
keywords computablegenericallycoarselylinearorderingssigmacopieslevel
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
abstract

We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear orderings have both generically and coarsely computable copies. This behavior changes abruptly at higher levels; we show that at the $\Sigma_{\alpha+2}$ level for any $\alpha\in\omega_1^{ck}$ the set of linear orderings with generically or coarsely computable copies is $\mathbf{\Sigma}_1^1$-complete and therefore maximally complicated. This development is new even in the general analysis of generic and coarse computability of countable structures. In the process of proving these results we introduce new tools for understanding generically and coarsely computable structures. We are able to give a purely structural statement that is equivalent to having a generically computable copy and show that every relational structure with only finitely many relations has coarsely and generically computable copies at the lowest level of the hierarchy.

discussion (0)

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