{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:FDAV3ZZZSEILZUZAUSUJZJ3ZR6","short_pith_number":"pith:FDAV3ZZZ","canonical_record":{"source":{"id":"2605.15151","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T17:50:33Z","cross_cats_sorted":[],"title_canon_sha256":"6932e4daca71643dfe97a001c0f976835c6890615b64e6e4e929d36404dfc162","abstract_canon_sha256":"220c963ad18abb022a4c0563877feb22854cb834bda18787441d8028b51342d1"},"schema_version":"1.0"},"canonical_sha256":"28c15de7399110bcd320a4a89ca7798fabae042cafccf0e57d9b4cca81d9e400","source":{"kind":"arxiv","id":"2605.15151","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15151","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15151v1","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"FDAV3ZZZSEIL","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"FDAV3ZZZSEILZUZA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"FDAV3ZZZ","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:FDAV3ZZZSEILZUZAUSUJZJ3ZR6","target":"record","payload":{"canonical_record":{"source":{"id":"2605.15151","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T17:50:33Z","cross_cats_sorted":[],"title_canon_sha256":"6932e4daca71643dfe97a001c0f976835c6890615b64e6e4e929d36404dfc162","abstract_canon_sha256":"220c963ad18abb022a4c0563877feb22854cb834bda18787441d8028b51342d1"},"schema_version":"1.0"},"canonical_sha256":"28c15de7399110bcd320a4a89ca7798fabae042cafccf0e57d9b4cca81d9e400","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.2","canonical_sha256":"28c15de7399110bcd320a4a89ca7798fabae042cafccf0e57d9b4cca81d9e400","last_reissued_at":"2026-05-17T21:57:18.788797Z","signature_status":"unsigned_v0","first_computed_at":"2026-05-17T21:40:25.470459Z"},"source_kind":"arxiv","source_id":"2605.15151","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T21:18:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QUvt8Tbn8/gRgFyEhwKfRM2IaZvZ306GkR173/ayR7oRniaD5finJPkWYGFaoDsuGi5eFjsBFRDlFSVkeI8RAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T12:58:06.749020Z"},"content_sha256":"64e82bac944cc49befc65607fdb379d0741e3875937859c8142d4fa99f9dc985","schema_version":"1.0","event_id":"sha256:64e82bac944cc49befc65607fdb379d0741e3875937859c8142d4fa99f9dc985"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:FDAV3ZZZSEILZUZAUSUJZJ3ZR6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Avoiding logical strength in real analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Anton Freund, Nicholas Pischke, Patrick Uftring","submitted_at":"2026-05-14T17:50:33Z","abstract_excerpt":"In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over $\\mathsf{RCA}_0$. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle. The second cluster includes results like the Bolzano-Weierstrass and Arzel\\`a-Ascoli theorems, which are traditiona"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over RCA0. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That slow Cauchy sequences without rates of convergence are sufficient to carry out the full range of one-dimensional analytic arguments while preserving the claimed conservativity and equivalences.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Slow Cauchy sequences allow most one-dimensional real analysis to be carried out in weak systems conservative over RCA0, equating results like Bolzano-Weierstrass to the infinite pigeonhole principle instead of arithmetical comprehension.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"c75197a28efb2b709fa0135e4dcd912b1b1f98e4ef88acb9d2ef3186383b7910"},"source":{"id":"2605.15151","kind":"arxiv","version":1},"verdict":{"id":"4718a4a9-77a4-4461-a4f2-5243043bcac0","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:51:23.690962Z","strongest_claim":"Almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over RCA0. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle.","one_line_summary":"Slow Cauchy sequences allow most one-dimensional real analysis to be carried out in weak systems conservative over RCA0, equating results like Bolzano-Weierstrass to the infinite pigeonhole principle instead of arithmetical comprehension.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That slow Cauchy sequences without rates of convergence are sufficient to carry out the full range of one-dimensional analytic arguments while preserving the claimed conservativity and equivalences.","pith_extraction_headline":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence."},"references":{"count":48,"sample":[{"doi":"","year":2022,"title":"David Belanger,Conservation theorems for the cohesiveness principle, 2022, arXiv:2212.13011","work_id":"5af3fc1e-afbe-458b-95ff-9447bcbe7bc3","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1967,"title":"Errett Bishop,Foundations of constructive analysis, McGraw-Hill, New York, 1967","work_id":"eb37cbe7-16eb-45af-bc36-846d08811da8","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2018,"title":"Vasco Brattka,A Galois connection between Turing jumps and limits, Logical Methods in Computer Science14(2018), no. 8, article no. 13","work_id":"597ff0a5-b0dc-4a1d-90c2-42aaa9d32231","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2012,"title":"Vasco Brattka, Guido Gherardi, and Alberto Marcone,The Bolzano-Weierstrass Theorem is the jump of Weak K˝ onig’s Lemma, Annals of Pure and Applied Logic163(2012), no. 6, 623–655","work_id":"6f5542ca-43c3-4d58-8d43-a4c60e31ae49","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2001,"title":"Slaman,On the strength of Ramsey’s theorem for pairs, The Journal of Symbolic Logic66(2001), no","work_id":"c2c8366b-5313-49cc-9b0a-af0670725780","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":48,"snapshot_sha256":"b86179b19d803540b061efb8f5cbf48b769f949d8414c90cd4cf3111f80f2ba2","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"b6f6eb15d2762146a1ece293d7d09b9158f6971b9a2cc8329e512956eed15db2"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"4718a4a9-77a4-4461-a4f2-5243043bcac0"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T21:57:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cJeLEEUfAClosJE3PkrjckpylpgViwjgMGUDfGs6NnzOYJ2znLLN+VBdxcr6+9624JdN4kqhH3z+QGF1Vh4PBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T12:58:06.749674Z"},"content_sha256":"cf0d378f93833cac7fa7763de31b62aa910ba9a63df173b73659622296497a30","schema_version":"1.0","event_id":"sha256:cf0d378f93833cac7fa7763de31b62aa910ba9a63df173b73659622296497a30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/bundle.json","state_url":"https://pith.science/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-11T12:58:06Z","links":{"resolver":"https://pith.science/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6","bundle":"https://pith.science/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/bundle.json","state":"https://pith.science/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FDAV3ZZZSEILZUZAUSUJZJ3ZR6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FDAV3ZZZSEILZUZAUSUJZJ3ZR6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"220c963ad18abb022a4c0563877feb22854cb834bda18787441d8028b51342d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T17:50:33Z","title_canon_sha256":"6932e4daca71643dfe97a001c0f976835c6890615b64e6e4e929d36404dfc162"},"schema_version":"1.0","source":{"id":"2605.15151","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15151","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15151v1","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"FDAV3ZZZSEIL","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"FDAV3ZZZSEILZUZA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"FDAV3ZZZ","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:cf0d378f93833cac7fa7763de31b62aa910ba9a63df173b73659622296497a30","target":"graph","created_at":"2026-05-17T21:57:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over RCA0. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That slow Cauchy sequences without rates of convergence are sufficient to carry out the full range of one-dimensional analytic arguments while preserving the claimed conservativity and equivalences."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Slow Cauchy sequences allow most one-dimensional real analysis to be carried out in weak systems conservative over RCA0, equating results like Bolzano-Weierstrass to the infinite pigeonhole principle instead of arithmetical comprehension."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence."}],"snapshot_sha256":"c75197a28efb2b709fa0135e4dcd912b1b1f98e4ef88acb9d2ef3186383b7910"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"b6f6eb15d2762146a1ece293d7d09b9158f6971b9a2cc8329e512956eed15db2"},"paper":{"abstract_excerpt":"In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over $\\mathsf{RCA}_0$. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle. The second cluster includes results like the Bolzano-Weierstrass and Arzel\\`a-Ascoli theorems, which are traditiona","authors_text":"Anton Freund, Nicholas Pischke, Patrick Uftring","cross_cats":[],"headline":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T17:50:33Z","title":"Avoiding logical strength in real analysis"},"references":{"count":48,"internal_anchors":0,"resolved_work":48,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"David Belanger,Conservation theorems for the cohesiveness principle, 2022, arXiv:2212.13011","work_id":"5af3fc1e-afbe-458b-95ff-9447bcbe7bc3","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Errett Bishop,Foundations of constructive analysis, McGraw-Hill, New York, 1967","work_id":"eb37cbe7-16eb-45af-bc36-846d08811da8","year":1967},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Vasco Brattka,A Galois connection between Turing jumps and limits, Logical Methods in Computer Science14(2018), no. 8, article no. 13","work_id":"597ff0a5-b0dc-4a1d-90c2-42aaa9d32231","year":2018},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Vasco Brattka, Guido Gherardi, and Alberto Marcone,The Bolzano-Weierstrass Theorem is the jump of Weak K˝ onig’s Lemma, Annals of Pure and Applied Logic163(2012), no. 6, 623–655","work_id":"6f5542ca-43c3-4d58-8d43-a4c60e31ae49","year":2012},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Slaman,On the strength of Ramsey’s theorem for pairs, The Journal of Symbolic Logic66(2001), no","work_id":"c2c8366b-5313-49cc-9b0a-af0670725780","year":2001}],"snapshot_sha256":"b86179b19d803540b061efb8f5cbf48b769f949d8414c90cd4cf3111f80f2ba2"},"source":{"id":"2605.15151","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:51:23.690962Z","id":"4718a4a9-77a4-4461-a4f2-5243043bcac0","model_set":{"reader":"grok-4.3"},"one_line_summary":"Slow Cauchy sequences allow most one-dimensional real analysis to be carried out in weak systems conservative over RCA0, equating results like Bolzano-Weierstrass to the infinite pigeonhole principle instead of arithmetical comprehension.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Real analysis in one dimension can be developed in theories conservative over RCA0 by using slow Cauchy sequences without rates of convergence.","strongest_claim":"Almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over RCA0. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle.","weakest_assumption":"That slow Cauchy sequences without rates of convergence are sufficient to carry out the full range of one-dimensional analytic arguments while preserving the claimed conservativity and equivalences."}},"verdict_id":"4718a4a9-77a4-4461-a4f2-5243043bcac0"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:64e82bac944cc49befc65607fdb379d0741e3875937859c8142d4fa99f9dc985","target":"record","created_at":"2026-05-17T21:18:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"220c963ad18abb022a4c0563877feb22854cb834bda18787441d8028b51342d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T17:50:33Z","title_canon_sha256":"6932e4daca71643dfe97a001c0f976835c6890615b64e6e4e929d36404dfc162"},"schema_version":"1.0","source":{"id":"2605.15151","kind":"arxiv","version":1}},"canonical_sha256":"28c15de7399110bcd320a4a89ca7798fabae042cafccf0e57d9b4cca81d9e400","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28c15de7399110bcd320a4a89ca7798fabae042cafccf0e57d9b4cca81d9e400","first_computed_at":"2026-05-17T21:40:25.470459Z","kind":"pith_receipt","last_reissued_at":"2026-05-17T21:57:18.788797Z","receipt_version":"0.2","signature_status":"unsigned_v0"},"source_id":"2605.15151","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:64e82bac944cc49befc65607fdb379d0741e3875937859c8142d4fa99f9dc985","sha256:cf0d378f93833cac7fa7763de31b62aa910ba9a63df173b73659622296497a30"],"state_sha256":"9e5c26f858c1f7add01a6eae32a6d3d213f9d5622b4faea8d55807ce2495ffa4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JT5TtfIWbhfTxgJzHhjPXJR5aZANovc320PiaGO8VF9UVGqz2XtxD/qy5pZRgWy4e2thaF6i9eUQVn8avgWnDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T12:58:06.752271Z","bundle_sha256":"aba3c98ee23c5db6a95d6a38f868ed44efe8d7ebba028beab99207fca1d0d84d"}}