{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:MAPCGAUJLSR6H6QLLVATWEBYKT","short_pith_number":"pith:MAPCGAUJ","canonical_record":{"source":{"id":"1210.4537","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-16T19:32:51Z","cross_cats_sorted":[],"title_canon_sha256":"852c9430926301130988ee29dd0e4f0dd5bebdb5775841b64ed3d577ff8eda96","abstract_canon_sha256":"e6cc2644a14fa38f23d6fb2faaf41c277cc31f7fcf26e3f38ac30c02605303a0"},"schema_version":"1.0"},"canonical_sha256":"601e2302895ca3e3fa0b5d413b103854d7111d64e9cf30cd537149a665cffd3e","source":{"kind":"arxiv","id":"1210.4537","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4537","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4537v3","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4537","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"pith_short_12","alias_value":"MAPCGAUJLSR6","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MAPCGAUJLSR6H6QL","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MAPCGAUJ","created_at":"2026-05-18T12:27:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:MAPCGAUJLSR6H6QLLVATWEBYKT","target":"record","payload":{"canonical_record":{"source":{"id":"1210.4537","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-16T19:32:51Z","cross_cats_sorted":[],"title_canon_sha256":"852c9430926301130988ee29dd0e4f0dd5bebdb5775841b64ed3d577ff8eda96","abstract_canon_sha256":"e6cc2644a14fa38f23d6fb2faaf41c277cc31f7fcf26e3f38ac30c02605303a0"},"schema_version":"1.0"},"canonical_sha256":"601e2302895ca3e3fa0b5d413b103854d7111d64e9cf30cd537149a665cffd3e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:15.946490Z","signature_b64":"5TNoiPTg4FuLWv1/y/ImLFPSwpSNk2IBb4HWx9n/+oJl6Iau90YruWBCZdeI/LrIuBXpqEvdXnKMepbB3rZBAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"601e2302895ca3e3fa0b5d413b103854d7111d64e9cf30cd537149a665cffd3e","last_reissued_at":"2026-05-18T01:36:15.945905Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:15.945905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.4537","source_version":3,"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-18T01:36:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9lcBiYEe+CPVjdpw/0rmmMB3vvyBz9FR06oSV0XsjKPM7sOUeUVRzKb3Dlt+Qar2hWwesNLqZEAee4Fhm+HQAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T05:05:44.897461Z"},"content_sha256":"43e04a3746f574f54364910625eed88e02da93ef35cd31b8a67f8ea5b7406472","schema_version":"1.0","event_id":"sha256:43e04a3746f574f54364910625eed88e02da93ef35cd31b8a67f8ea5b7406472"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:MAPCGAUJLSR6H6QLLVATWEBYKT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Samson Abramsky, Viktor Winschel","submitted_at":"2012-10-16T19:32:51Z","abstract_excerpt":"We present a novel coalgebraic formulation of infinite extensive games. We define both the game trees and the strategy profiles by possibly infinite systems of corecursive equations. Certain strategy profiles are proved to be subgame perfect equilibria using a novel proof principle of predicate coinduction. We characterize all subgame perfect equilibria for the dollar auction game. The economically interesting feature is that in order to prove these results we do not need to rely on continuity assumptions on the payoffs which amount to discounting the future. In particular, we prove a form of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4537","kind":"arxiv","version":3},"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-18T01:36:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+mdryZzo5GmVcu7TCzFODG6dsZBz/J5gbFdD66Rpb8yZ7stJ29a9WDyIuG6WK+cz7NGFjxjtAOZKhB/tJBbLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T05:05:44.897810Z"},"content_sha256":"1532b33af6982bff85a1310b2f671c1e1d2be0f05d4b559ee47536e9a6bb692c","schema_version":"1.0","event_id":"sha256:1532b33af6982bff85a1310b2f671c1e1d2be0f05d4b559ee47536e9a6bb692c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/bundle.json","state_url":"https://pith.science/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/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-20T05:05:44Z","links":{"resolver":"https://pith.science/pith/MAPCGAUJLSR6H6QLLVATWEBYKT","bundle":"https://pith.science/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/bundle.json","state":"https://pith.science/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MAPCGAUJLSR6H6QLLVATWEBYKT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:MAPCGAUJLSR6H6QLLVATWEBYKT","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":"e6cc2644a14fa38f23d6fb2faaf41c277cc31f7fcf26e3f38ac30c02605303a0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-16T19:32:51Z","title_canon_sha256":"852c9430926301130988ee29dd0e4f0dd5bebdb5775841b64ed3d577ff8eda96"},"schema_version":"1.0","source":{"id":"1210.4537","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4537","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4537v3","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4537","created_at":"2026-05-18T01:36:15Z"},{"alias_kind":"pith_short_12","alias_value":"MAPCGAUJLSR6","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MAPCGAUJLSR6H6QL","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MAPCGAUJ","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:1532b33af6982bff85a1310b2f671c1e1d2be0f05d4b559ee47536e9a6bb692c","target":"graph","created_at":"2026-05-18T01:36:15Z","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":"We present a novel coalgebraic formulation of infinite extensive games. We define both the game trees and the strategy profiles by possibly infinite systems of corecursive equations. Certain strategy profiles are proved to be subgame perfect equilibria using a novel proof principle of predicate coinduction. We characterize all subgame perfect equilibria for the dollar auction game. The economically interesting feature is that in order to prove these results we do not need to rely on continuity assumptions on the payoffs which amount to discounting the future. In particular, we prove a form of ","authors_text":"Samson Abramsky, Viktor Winschel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-16T19:32:51Z","title":"Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4537","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:43e04a3746f574f54364910625eed88e02da93ef35cd31b8a67f8ea5b7406472","target":"record","created_at":"2026-05-18T01:36:15Z","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":"e6cc2644a14fa38f23d6fb2faaf41c277cc31f7fcf26e3f38ac30c02605303a0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-16T19:32:51Z","title_canon_sha256":"852c9430926301130988ee29dd0e4f0dd5bebdb5775841b64ed3d577ff8eda96"},"schema_version":"1.0","source":{"id":"1210.4537","kind":"arxiv","version":3}},"canonical_sha256":"601e2302895ca3e3fa0b5d413b103854d7111d64e9cf30cd537149a665cffd3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"601e2302895ca3e3fa0b5d413b103854d7111d64e9cf30cd537149a665cffd3e","first_computed_at":"2026-05-18T01:36:15.945905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:15.945905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5TNoiPTg4FuLWv1/y/ImLFPSwpSNk2IBb4HWx9n/+oJl6Iau90YruWBCZdeI/LrIuBXpqEvdXnKMepbB3rZBAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:15.946490Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.4537","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43e04a3746f574f54364910625eed88e02da93ef35cd31b8a67f8ea5b7406472","sha256:1532b33af6982bff85a1310b2f671c1e1d2be0f05d4b559ee47536e9a6bb692c"],"state_sha256":"aacf7b57df52ab9e84eb14768a44837255826c1d833ec496f337c6bf36c7a0a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"42UHJL1aEDGrhvZ0HqocFUP080aB9rdo9EjfN0kAYvgVZe9G9cWQ5AJRikQsXU8WWn38krFE/NipBvyuEGviDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T05:05:44.899766Z","bundle_sha256":"000f9f641694c6d547152ea5cb7e72063ba41e649e7954d111aa99f526e5dab9"}}