{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JFNFEAP6SOQGWAH432Q5XRP2TG","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":"8c4eea0c117eed1270c99c7a72cd2f17396a12962f3a6e990a765a021e811d0b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2017-08-21T08:44:21Z","title_canon_sha256":"382db5b159337ecacbcead16042f82a2fa53ced2b545dbd75503e625734e557f"},"schema_version":"1.0","source":{"id":"1708.06121","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06121","created_at":"2026-07-05T05:21:38Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06121v3","created_at":"2026-07-05T05:21:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06121","created_at":"2026-07-05T05:21:38Z"},{"alias_kind":"pith_short_12","alias_value":"JFNFEAP6SOQG","created_at":"2026-07-05T05:21:38Z"},{"alias_kind":"pith_short_16","alias_value":"JFNFEAP6SOQGWAH4","created_at":"2026-07-05T05:21:38Z"},{"alias_kind":"pith_short_8","alias_value":"JFNFEAP6","created_at":"2026-07-05T05:21:38Z"}],"graph_snapshots":[{"event_id":"sha256:b7d9e05a43520be5534a725166c2b9e358375f91a4b90630f47b5cc7416e670e","target":"graph","created_at":"2026-07-05T05:21:38Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1708.06121/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Given the family $P$ of all nonempty subsets of a set $U$ of alternatives, a choice over $U$ is a function $c \\colon \\Omega \\to P$ such that $\\Omega \\subseteq P$ and $c(B) \\subseteq B$ for all menus $B \\in \\Omega$. A choice is total if $\\Omega = P$, and partial otherwise. In economics, an agent is considered rational whenever her choice behavior satisfies suitable axioms of consistency, which are properties quantified over menus. Here we address the following lifting problem: Given a partial choice satisfying one or more axioms of consistency, is it possible to extend it to a total choice sati","authors_text":"Alfio Giarlotta, Domenico Cantone, Pietro Maugeri, Stephen Watson","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2017-08-21T08:44:21Z","title":"Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06121","kind":"arxiv","version":3},"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:a44af110a42cb98438a4766d390477f7a158f09309d59f4961592816e1b30a6f","target":"record","created_at":"2026-07-05T05:21:38Z","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":"8c4eea0c117eed1270c99c7a72cd2f17396a12962f3a6e990a765a021e811d0b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2017-08-21T08:44:21Z","title_canon_sha256":"382db5b159337ecacbcead16042f82a2fa53ced2b545dbd75503e625734e557f"},"schema_version":"1.0","source":{"id":"1708.06121","kind":"arxiv","version":3}},"canonical_sha256":"495a5201fe93a06b00fcdea1dbc5fa998834fa03a6b65e978f7fdcc4d96f3b6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"495a5201fe93a06b00fcdea1dbc5fa998834fa03a6b65e978f7fdcc4d96f3b6e","first_computed_at":"2026-07-05T05:21:38.415436Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:21:38.415436Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3Nan3Md9JfrEhhFpA8TzmiSEekH0205k3wD3KOSzzj8puB1179cIROa4Zz5Q1YQFmXvI5C1vGNPAJntj5ehTDA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:21:38.415926Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.06121","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a44af110a42cb98438a4766d390477f7a158f09309d59f4961592816e1b30a6f","sha256:b7d9e05a43520be5534a725166c2b9e358375f91a4b90630f47b5cc7416e670e"],"state_sha256":"2c6d79442ff68fc0a4b5cb6d1a8fd497bbaf88237a13321df21fbfae50e0b38a"}