{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XQ2IELN2CAEUZ7FVHY2TK2LE5E","short_pith_number":"pith:XQ2IELN2","canonical_record":{"source":{"id":"1812.08732","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-12-20T18:04:40Z","cross_cats_sorted":[],"title_canon_sha256":"c9297c703a4ffdc4cb32692a72cd2ee67fccf06bd95763aa145740608fa34ba8","abstract_canon_sha256":"045430a150191c4c9bba5dac7c0a8a5bd77587f00a40bcfb12818fd2a06ce029"},"schema_version":"1.0"},"canonical_sha256":"bc34822dba10094cfcb53e35356964e900767e90ab4c860b2dc18faa619e9577","source":{"kind":"arxiv","id":"1812.08732","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.08732","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"arxiv_version","alias_value":"1812.08732v1","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.08732","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"pith_short_12","alias_value":"XQ2IELN2CAEU","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XQ2IELN2CAEUZ7FV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XQ2IELN2","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XQ2IELN2CAEUZ7FVHY2TK2LE5E","target":"record","payload":{"canonical_record":{"source":{"id":"1812.08732","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-12-20T18:04:40Z","cross_cats_sorted":[],"title_canon_sha256":"c9297c703a4ffdc4cb32692a72cd2ee67fccf06bd95763aa145740608fa34ba8","abstract_canon_sha256":"045430a150191c4c9bba5dac7c0a8a5bd77587f00a40bcfb12818fd2a06ce029"},"schema_version":"1.0"},"canonical_sha256":"bc34822dba10094cfcb53e35356964e900767e90ab4c860b2dc18faa619e9577","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:49.287292Z","signature_b64":"fwiNAhcli/fiM31jUgxWqpk3Ted+lCX55EBbRULVAFo2FQoII3esuNQ1YdXqLkoB0A7/sKNOA6//phMx5UN2Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc34822dba10094cfcb53e35356964e900767e90ab4c860b2dc18faa619e9577","last_reissued_at":"2026-05-17T23:57:49.286683Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:49.286683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.08732","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-17T23:57:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zCLkWWomT08YyHsXUriR5PQKRVvWlzBie68A6FDqbFEuSCAiGiFtJsKQJPlhrSzwMG/qot0RGa8R9y1zIu0xBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:25:32.624579Z"},"content_sha256":"1b579a859f965b1fbd5a44e2ae0ecb6307d60663a22d2e02030cd0c314ec1d7c","schema_version":"1.0","event_id":"sha256:1b579a859f965b1fbd5a44e2ae0ecb6307d60663a22d2e02030cd0c314ec1d7c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XQ2IELN2CAEUZ7FVHY2TK2LE5E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniform One-Dimensional Fragment over Ordered Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Antti Kuusisto, Jonne Iso-Tuisku","submitted_at":"2018-12-20T18:04:40Z","abstract_excerpt":"The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The logic U1 enables the use of relation symbols of all arities and thereby extends the scope of applications of FO2. In this article we show that the satisfiability and finite satisfiability problems of U1 over linearly ordered models are NExpTime-complete. The corresponding problems for FO2 are likewise NextIime-complete, so the transition from FO2 to U1 in the ordered realm causes no increase in complexity. To contrast our results, we also establish that U1 with unrestricted use of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.08732","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-17T23:57:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3TftzwkNBh6HEiYDw1Qz/aoErt1+LuyUBKen67BaWIJIAU05BVkx+1ZhUoRl4q7wp+Pu7SKE+CRDxWt8Oi46BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T18:25:32.625215Z"},"content_sha256":"ba93243bee9375d7557ccfc5d5b40d9eb43abaa9cb077b514f127186ada048ba","schema_version":"1.0","event_id":"sha256:ba93243bee9375d7557ccfc5d5b40d9eb43abaa9cb077b514f127186ada048ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/bundle.json","state_url":"https://pith.science/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/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-25T18:25:32Z","links":{"resolver":"https://pith.science/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E","bundle":"https://pith.science/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/bundle.json","state":"https://pith.science/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQ2IELN2CAEUZ7FVHY2TK2LE5E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XQ2IELN2CAEUZ7FVHY2TK2LE5E","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":"045430a150191c4c9bba5dac7c0a8a5bd77587f00a40bcfb12818fd2a06ce029","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-12-20T18:04:40Z","title_canon_sha256":"c9297c703a4ffdc4cb32692a72cd2ee67fccf06bd95763aa145740608fa34ba8"},"schema_version":"1.0","source":{"id":"1812.08732","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.08732","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"arxiv_version","alias_value":"1812.08732v1","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.08732","created_at":"2026-05-17T23:57:49Z"},{"alias_kind":"pith_short_12","alias_value":"XQ2IELN2CAEU","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XQ2IELN2CAEUZ7FV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XQ2IELN2","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:ba93243bee9375d7557ccfc5d5b40d9eb43abaa9cb077b514f127186ada048ba","target":"graph","created_at":"2026-05-17T23:57:49Z","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":"The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The logic U1 enables the use of relation symbols of all arities and thereby extends the scope of applications of FO2. In this article we show that the satisfiability and finite satisfiability problems of U1 over linearly ordered models are NExpTime-complete. The corresponding problems for FO2 are likewise NextIime-complete, so the transition from FO2 to U1 in the ordered realm causes no increase in complexity. To contrast our results, we also establish that U1 with unrestricted use of t","authors_text":"Antti Kuusisto, Jonne Iso-Tuisku","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-12-20T18:04:40Z","title":"Uniform One-Dimensional Fragment over Ordered Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.08732","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:1b579a859f965b1fbd5a44e2ae0ecb6307d60663a22d2e02030cd0c314ec1d7c","target":"record","created_at":"2026-05-17T23:57:49Z","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":"045430a150191c4c9bba5dac7c0a8a5bd77587f00a40bcfb12818fd2a06ce029","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-12-20T18:04:40Z","title_canon_sha256":"c9297c703a4ffdc4cb32692a72cd2ee67fccf06bd95763aa145740608fa34ba8"},"schema_version":"1.0","source":{"id":"1812.08732","kind":"arxiv","version":1}},"canonical_sha256":"bc34822dba10094cfcb53e35356964e900767e90ab4c860b2dc18faa619e9577","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc34822dba10094cfcb53e35356964e900767e90ab4c860b2dc18faa619e9577","first_computed_at":"2026-05-17T23:57:49.286683Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:49.286683Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fwiNAhcli/fiM31jUgxWqpk3Ted+lCX55EBbRULVAFo2FQoII3esuNQ1YdXqLkoB0A7/sKNOA6//phMx5UN2Dg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:49.287292Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.08732","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b579a859f965b1fbd5a44e2ae0ecb6307d60663a22d2e02030cd0c314ec1d7c","sha256:ba93243bee9375d7557ccfc5d5b40d9eb43abaa9cb077b514f127186ada048ba"],"state_sha256":"48e118b79408f03f1493064c666156938277f4ca2e51d1ff55e572e6dc25e214"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yelxMra2kwCOXR+iGbC0TV6TjiJF3RyaTQ50+wKw6lKQldv1OM3djUfwBBxnJ4AvXeyRRZ2xfp5/UFaXLxJmAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T18:25:32.630869Z","bundle_sha256":"db5ebd7421e6e77c816d61881087a66b6457b3f65f45cb836bf793b739a92420"}}