{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:KNY4OBPT3ENMPB6EOGQUK2XODT","short_pith_number":"pith:KNY4OBPT","schema_version":"1.0","canonical_sha256":"5371c705f3d91ac787c471a1456aee1cda218c5bdefb815387713e98cb623341","source":{"kind":"arxiv","id":"0903.2410","version":2},"attestation_state":"computed","paper":{"title":"On tiered small jump operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CC","authors_text":"Jean-Yves Marion","submitted_at":"2009-03-13T15:36:42Z","abstract_excerpt":"Predicative analysis of recursion schema is a method to characterize complexity classes like the class FPTIME of polynomial time computable functions. This analysis comes from the works of Bellantoni and Cook, and Leivant by data tiering. Here, we refine predicative analysis by using a ramified Ackermann's construction of a non-primitive recursive function. We obtain a hierarchy of functions which characterizes exactly functions, which are computed in O(n^k) time over register machine model of computation. For this, we introduce a strict ramification principle. Then, we show how to diagonalize"},"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":"0903.2410","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2009-03-13T15:36:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5c81cc19abf067aa21ae5f69e0c7f51406a2acbb48aa6e05bd4ef375743358d4","abstract_canon_sha256":"20f4da78b1cf15c26060f836a99b6d4d92d9cd16bbea7e6a7f511ad634e1687b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.500061Z","signature_b64":"/Eqop4GYLTcr1pToJNrC3y7eFdOR/M1hoUsM5y53b0toB4+8Du2Iwhb+vJh1B4c8hwx/JQ2LF7DIvBc9wHYhDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5371c705f3d91ac787c471a1456aee1cda218c5bdefb815387713e98cb623341","last_reissued_at":"2026-05-18T01:37:40.499518Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.499518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On tiered small jump operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CC","authors_text":"Jean-Yves Marion","submitted_at":"2009-03-13T15:36:42Z","abstract_excerpt":"Predicative analysis of recursion schema is a method to characterize complexity classes like the class FPTIME of polynomial time computable functions. This analysis comes from the works of Bellantoni and Cook, and Leivant by data tiering. Here, we refine predicative analysis by using a ramified Ackermann's construction of a non-primitive recursive function. We obtain a hierarchy of functions which characterizes exactly functions, which are computed in O(n^k) time over register machine model of computation. For this, we introduce a strict ramification principle. Then, we show how to diagonalize"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0903.2410","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":""},"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":"0903.2410","created_at":"2026-05-18T01:37:40.499604+00:00"},{"alias_kind":"arxiv_version","alias_value":"0903.2410v2","created_at":"2026-05-18T01:37:40.499604+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0903.2410","created_at":"2026-05-18T01:37:40.499604+00:00"},{"alias_kind":"pith_short_12","alias_value":"KNY4OBPT3ENM","created_at":"2026-05-18T12:26:00.592388+00:00"},{"alias_kind":"pith_short_16","alias_value":"KNY4OBPT3ENMPB6E","created_at":"2026-05-18T12:26:00.592388+00:00"},{"alias_kind":"pith_short_8","alias_value":"KNY4OBPT","created_at":"2026-05-18T12:26:00.592388+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/KNY4OBPT3ENMPB6EOGQUK2XODT","json":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT.json","graph_json":"https://pith.science/api/pith-number/KNY4OBPT3ENMPB6EOGQUK2XODT/graph.json","events_json":"https://pith.science/api/pith-number/KNY4OBPT3ENMPB6EOGQUK2XODT/events.json","paper":"https://pith.science/paper/KNY4OBPT"},"agent_actions":{"view_html":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT","download_json":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT.json","view_paper":"https://pith.science/paper/KNY4OBPT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0903.2410&json=true","fetch_graph":"https://pith.science/api/pith-number/KNY4OBPT3ENMPB6EOGQUK2XODT/graph.json","fetch_events":"https://pith.science/api/pith-number/KNY4OBPT3ENMPB6EOGQUK2XODT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT/action/storage_attestation","attest_author":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT/action/author_attestation","sign_citation":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT/action/citation_signature","submit_replication":"https://pith.science/pith/KNY4OBPT3ENMPB6EOGQUK2XODT/action/replication_record"}},"created_at":"2026-05-18T01:37:40.499604+00:00","updated_at":"2026-05-18T01:37:40.499604+00:00"}