{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:NBBQCEGCRZAH6EDNTUWBWONBIE","short_pith_number":"pith:NBBQCEGC","schema_version":"1.0","canonical_sha256":"68430110c28e407f106d9d2c1b39a141025b817c6c5010998e140b6f2fcb16bb","source":{"kind":"arxiv","id":"2102.13531","version":2},"attestation_state":"computed","paper":{"title":"Lower bounds on $\\beta(\\alpha)$ and other properties of $\\alpha$-ITRMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Merlin Carl","submitted_at":"2021-02-26T15:07:11Z","abstract_excerpt":"This paper extends our paper \\cite{C2} for the conference ``Computability in Europe'' 2022.\n  After Infinite Time Turing Machines (ITTM) were introduced in Hamkins and Lewis \\cite{HL}, a number of machine models of computability have been generalized to the transfinite, along with various variants thereof. While for some of these models the computational strength has been successfully determined, there are still several white spots on the map of transfinite computability. In this paper, we contribute to the understanding of the computational strength of transfinite machine models by (i) provin"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2102.13531","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2021-02-26T15:07:11Z","cross_cats_sorted":[],"title_canon_sha256":"258f1bdf22daae297a8e5a04763a0784e229453131aa98519915491dc4af683a","abstract_canon_sha256":"b8bacc6ad578db28d05edee3e4eb89c83ffa5f236eda5ad637fab40b1a4e0228"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:23.643146Z","signature_b64":"3vdqukGMX9rGS8l1uvHVfaXDeq3DHFnL0TrWQ2hGtrHxCCZqQHLXtBAMNdkRL5KEFzrasIwaEq7GWkhEbXzhBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68430110c28e407f106d9d2c1b39a141025b817c6c5010998e140b6f2fcb16bb","last_reissued_at":"2026-05-20T00:05:23.642296Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:23.642296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lower bounds on $\\beta(\\alpha)$ and other properties of $\\alpha$-ITRMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Merlin Carl","submitted_at":"2021-02-26T15:07:11Z","abstract_excerpt":"This paper extends our paper \\cite{C2} for the conference ``Computability in Europe'' 2022.\n  After Infinite Time Turing Machines (ITTM) were introduced in Hamkins and Lewis \\cite{HL}, a number of machine models of computability have been generalized to the transfinite, along with various variants thereof. While for some of these models the computational strength has been successfully determined, there are still several white spots on the map of transfinite computability. In this paper, we contribute to the understanding of the computational strength of transfinite machine models by (i) provin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.13531","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2102.13531/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2102.13531","created_at":"2026-05-20T00:05:23.642453+00:00"},{"alias_kind":"arxiv_version","alias_value":"2102.13531v2","created_at":"2026-05-20T00:05:23.642453+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.13531","created_at":"2026-05-20T00:05:23.642453+00:00"},{"alias_kind":"pith_short_12","alias_value":"NBBQCEGCRZAH","created_at":"2026-05-20T00:05:23.642453+00:00"},{"alias_kind":"pith_short_16","alias_value":"NBBQCEGCRZAH6EDN","created_at":"2026-05-20T00:05:23.642453+00:00"},{"alias_kind":"pith_short_8","alias_value":"NBBQCEGC","created_at":"2026-05-20T00:05:23.642453+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE","json":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE.json","graph_json":"https://pith.science/api/pith-number/NBBQCEGCRZAH6EDNTUWBWONBIE/graph.json","events_json":"https://pith.science/api/pith-number/NBBQCEGCRZAH6EDNTUWBWONBIE/events.json","paper":"https://pith.science/paper/NBBQCEGC"},"agent_actions":{"view_html":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE","download_json":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE.json","view_paper":"https://pith.science/paper/NBBQCEGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2102.13531&json=true","fetch_graph":"https://pith.science/api/pith-number/NBBQCEGCRZAH6EDNTUWBWONBIE/graph.json","fetch_events":"https://pith.science/api/pith-number/NBBQCEGCRZAH6EDNTUWBWONBIE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE/action/storage_attestation","attest_author":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE/action/author_attestation","sign_citation":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE/action/citation_signature","submit_replication":"https://pith.science/pith/NBBQCEGCRZAH6EDNTUWBWONBIE/action/replication_record"}},"created_at":"2026-05-20T00:05:23.642453+00:00","updated_at":"2026-05-20T00:05:23.642453+00:00"}