{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ONQ3GIQ6MAA2SDNRQOSNS7CRLL","short_pith_number":"pith:ONQ3GIQ6","canonical_record":{"source":{"id":"1402.6520","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-26T12:54:36Z","cross_cats_sorted":[],"title_canon_sha256":"87cd25d5e7df883a36eb3132ad2776e94cf8998d7e884200aa936dadfeb4520f","abstract_canon_sha256":"1684d7107c0b2bcb88eb8fe8d2d7e6475ae437584ad5068daeca783d7d879291"},"schema_version":"1.0"},"canonical_sha256":"7361b3221e6001a90db183a4d97c515accbff1c915b4da5c4fe3ab86509b0c3c","source":{"kind":"arxiv","id":"1402.6520","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6520","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6520v1","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6520","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"ONQ3GIQ6MAA2","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ONQ3GIQ6MAA2SDNR","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ONQ3GIQ6","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ONQ3GIQ6MAA2SDNRQOSNS7CRLL","target":"record","payload":{"canonical_record":{"source":{"id":"1402.6520","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-26T12:54:36Z","cross_cats_sorted":[],"title_canon_sha256":"87cd25d5e7df883a36eb3132ad2776e94cf8998d7e884200aa936dadfeb4520f","abstract_canon_sha256":"1684d7107c0b2bcb88eb8fe8d2d7e6475ae437584ad5068daeca783d7d879291"},"schema_version":"1.0"},"canonical_sha256":"7361b3221e6001a90db183a4d97c515accbff1c915b4da5c4fe3ab86509b0c3c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:44.352967Z","signature_b64":"1i+OBCOuP5QAU4J9Y/llrlO/1CgaeBL93GmSQpabGlUgzdWdbXg3V2mpbEd+9ddt2Qkcg8k/E523nm0A4NVGBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7361b3221e6001a90db183a4d97c515accbff1c915b4da5c4fe3ab86509b0c3c","last_reissued_at":"2026-05-18T02:57:44.352544Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:44.352544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.6520","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-18T02:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lzhD2fUrhtcoEzFg31fX/9k+zy8Y57R0v9INWdl3NbW3wc2EiNTTgtryzUl3oKotv969a7qkAzB8JSvi6hYIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:01:20.825190Z"},"content_sha256":"01c11f89849ba832849993522d21a0576c3ee41a75bd3cb167f297408adfdb42","schema_version":"1.0","event_id":"sha256:01c11f89849ba832849993522d21a0576c3ee41a75bd3cb167f297408adfdb42"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ONQ3GIQ6MAA2SDNRQOSNS7CRLL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decomposable ordered groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alf Onshuus, Charles Steinhorn, Eliana Barriga","submitted_at":"2014-02-26T12:54:36Z","abstract_excerpt":"Decomposable ordered structures were introduced in \\cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6520","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:57:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z8FHWoxbB0ifNlMY5LkeIkO49IZUFQNxPtv4muBpJRBd4hXYUhIp9vni7YKzbGDHhXfhU2k+8+8cF1ztVvCOAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:01:20.825933Z"},"content_sha256":"71f4e5910716d6f366badf51a57ea69e1bca8fbbe44fc4a73d9e60e30f71d3d1","schema_version":"1.0","event_id":"sha256:71f4e5910716d6f366badf51a57ea69e1bca8fbbe44fc4a73d9e60e30f71d3d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/bundle.json","state_url":"https://pith.science/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/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-05-26T20:01:20Z","links":{"resolver":"https://pith.science/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL","bundle":"https://pith.science/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/bundle.json","state":"https://pith.science/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ONQ3GIQ6MAA2SDNRQOSNS7CRLL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ONQ3GIQ6MAA2SDNRQOSNS7CRLL","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":"1684d7107c0b2bcb88eb8fe8d2d7e6475ae437584ad5068daeca783d7d879291","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-26T12:54:36Z","title_canon_sha256":"87cd25d5e7df883a36eb3132ad2776e94cf8998d7e884200aa936dadfeb4520f"},"schema_version":"1.0","source":{"id":"1402.6520","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6520","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6520v1","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6520","created_at":"2026-05-18T02:57:44Z"},{"alias_kind":"pith_short_12","alias_value":"ONQ3GIQ6MAA2","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ONQ3GIQ6MAA2SDNR","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ONQ3GIQ6","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:71f4e5910716d6f366badf51a57ea69e1bca8fbbe44fc4a73d9e60e30f71d3d1","target":"graph","created_at":"2026-05-18T02:57:44Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Decomposable ordered structures were introduced in \\cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension","authors_text":"Alf Onshuus, Charles Steinhorn, Eliana Barriga","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-26T12:54:36Z","title":"Decomposable ordered groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6520","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:01c11f89849ba832849993522d21a0576c3ee41a75bd3cb167f297408adfdb42","target":"record","created_at":"2026-05-18T02:57:44Z","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":"1684d7107c0b2bcb88eb8fe8d2d7e6475ae437584ad5068daeca783d7d879291","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-26T12:54:36Z","title_canon_sha256":"87cd25d5e7df883a36eb3132ad2776e94cf8998d7e884200aa936dadfeb4520f"},"schema_version":"1.0","source":{"id":"1402.6520","kind":"arxiv","version":1}},"canonical_sha256":"7361b3221e6001a90db183a4d97c515accbff1c915b4da5c4fe3ab86509b0c3c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7361b3221e6001a90db183a4d97c515accbff1c915b4da5c4fe3ab86509b0c3c","first_computed_at":"2026-05-18T02:57:44.352544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:44.352544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1i+OBCOuP5QAU4J9Y/llrlO/1CgaeBL93GmSQpabGlUgzdWdbXg3V2mpbEd+9ddt2Qkcg8k/E523nm0A4NVGBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:44.352967Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.6520","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01c11f89849ba832849993522d21a0576c3ee41a75bd3cb167f297408adfdb42","sha256:71f4e5910716d6f366badf51a57ea69e1bca8fbbe44fc4a73d9e60e30f71d3d1"],"state_sha256":"ea3442d6341041afc9ddaaa0b86eace6ffd3690e479ec755504a450d176a2aef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5LglQWrcWiFsnv1kK4z6Ct9eJZ0m2hnWB2zZ2Amdtqf6bO0db3aaJCcWH2joEqShKMAeDKcq4nYdBr9uvr57CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:01:20.829816Z","bundle_sha256":"6480bc89a9338ea0c954f1ba585b41ae8c9b204b735c32e355cf85508243083b"}}