{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JPE4L4HZMFW4UZDSK4R6ZREE2G","short_pith_number":"pith:JPE4L4HZ","canonical_record":{"source":{"id":"1407.6671","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-24T18:09:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"1fa173ee21bfbb1e738524af1fb4422b501d806667eb2f2470f2fd7b5642eec1","abstract_canon_sha256":"92e58c196da09ab034775d6735bed9063c714a3d89dd1a5af7dc2a0a09d53db0"},"schema_version":"1.0"},"canonical_sha256":"4bc9c5f0f9616dca64725723ecc484d19cde79b7035903ed2156eab508f46049","source":{"kind":"arxiv","id":"1407.6671","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.6671","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1407.6671v2","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.6671","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"JPE4L4HZMFW4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JPE4L4HZMFW4UZDS","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JPE4L4HZ","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JPE4L4HZMFW4UZDSK4R6ZREE2G","target":"record","payload":{"canonical_record":{"source":{"id":"1407.6671","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-24T18:09:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"1fa173ee21bfbb1e738524af1fb4422b501d806667eb2f2470f2fd7b5642eec1","abstract_canon_sha256":"92e58c196da09ab034775d6735bed9063c714a3d89dd1a5af7dc2a0a09d53db0"},"schema_version":"1.0"},"canonical_sha256":"4bc9c5f0f9616dca64725723ecc484d19cde79b7035903ed2156eab508f46049","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:31.618062Z","signature_b64":"AWqsETBSpArG6FyA665c7rAQrNxRLltLsxSrw8DkWvRhKI0Fl7dTgVXIjufuNUbisp/gz1vWWU/GKN0AGfO9AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4bc9c5f0f9616dca64725723ecc484d19cde79b7035903ed2156eab508f46049","last_reissued_at":"2026-05-18T00:38:31.617354Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:31.617354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.6671","source_version":2,"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-18T00:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ew0nLpJ+diE0LmXI8TNCTqxBVVdcIJ6zcwWTa3YvoiOf7ew7OId2irzIaUoYmf9Q7icJZvYF9yzYIuGHSb65CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:57:43.898755Z"},"content_sha256":"d8e37722fa3b86d664b2d80d641bb0db0c3acfb8cd4f54d4c01ee273625626e6","schema_version":"1.0","event_id":"sha256:d8e37722fa3b86d664b2d80d641bb0db0c3acfb8cd4f54d4c01ee273625626e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JPE4L4HZMFW4UZDSK4R6ZREE2G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polish groupoids and functorial complexity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.LO","authors_text":"Martino Lupini","submitted_at":"2014-07-24T18:09:41Z","abstract_excerpt":"We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincide with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids with essentially treeable orbit equivalence relation, functorial Borel complexity coincides with the Borel complexity of the associated orbit equivalence relation. On the other hand for every countable e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.6671","kind":"arxiv","version":2},"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-18T00:38:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+r3EQYnVtUUBPZuF3U8WAnr4H2DbXA2UKVjl+cr+y6dlt8tI2BDaxwM7gZAvgF0nlYdpti8voAAQQXHVX2/XBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:57:43.899158Z"},"content_sha256":"e4b134ecca6fd6b7197cda0da8b4f1dc054e05ac651639246f3c848663895b73","schema_version":"1.0","event_id":"sha256:e4b134ecca6fd6b7197cda0da8b4f1dc054e05ac651639246f3c848663895b73"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/bundle.json","state_url":"https://pith.science/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/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-27T05:57:43Z","links":{"resolver":"https://pith.science/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G","bundle":"https://pith.science/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/bundle.json","state":"https://pith.science/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JPE4L4HZMFW4UZDSK4R6ZREE2G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JPE4L4HZMFW4UZDSK4R6ZREE2G","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":"92e58c196da09ab034775d6735bed9063c714a3d89dd1a5af7dc2a0a09d53db0","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-24T18:09:41Z","title_canon_sha256":"1fa173ee21bfbb1e738524af1fb4422b501d806667eb2f2470f2fd7b5642eec1"},"schema_version":"1.0","source":{"id":"1407.6671","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.6671","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"arxiv_version","alias_value":"1407.6671v2","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.6671","created_at":"2026-05-18T00:38:31Z"},{"alias_kind":"pith_short_12","alias_value":"JPE4L4HZMFW4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JPE4L4HZMFW4UZDS","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JPE4L4HZ","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:e4b134ecca6fd6b7197cda0da8b4f1dc054e05ac651639246f3c848663895b73","target":"graph","created_at":"2026-05-18T00:38:31Z","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 introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincide with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids with essentially treeable orbit equivalence relation, functorial Borel complexity coincides with the Borel complexity of the associated orbit equivalence relation. On the other hand for every countable e","authors_text":"Martino Lupini","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-24T18:09:41Z","title":"Polish groupoids and functorial complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.6671","kind":"arxiv","version":2},"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:d8e37722fa3b86d664b2d80d641bb0db0c3acfb8cd4f54d4c01ee273625626e6","target":"record","created_at":"2026-05-18T00:38:31Z","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":"92e58c196da09ab034775d6735bed9063c714a3d89dd1a5af7dc2a0a09d53db0","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-24T18:09:41Z","title_canon_sha256":"1fa173ee21bfbb1e738524af1fb4422b501d806667eb2f2470f2fd7b5642eec1"},"schema_version":"1.0","source":{"id":"1407.6671","kind":"arxiv","version":2}},"canonical_sha256":"4bc9c5f0f9616dca64725723ecc484d19cde79b7035903ed2156eab508f46049","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4bc9c5f0f9616dca64725723ecc484d19cde79b7035903ed2156eab508f46049","first_computed_at":"2026-05-18T00:38:31.617354Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:31.617354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AWqsETBSpArG6FyA665c7rAQrNxRLltLsxSrw8DkWvRhKI0Fl7dTgVXIjufuNUbisp/gz1vWWU/GKN0AGfO9AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:31.618062Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.6671","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8e37722fa3b86d664b2d80d641bb0db0c3acfb8cd4f54d4c01ee273625626e6","sha256:e4b134ecca6fd6b7197cda0da8b4f1dc054e05ac651639246f3c848663895b73"],"state_sha256":"3ba630f1f5a927772b2da5d8dd6369067c507381107a54d88c7d3f25cf6a1e81"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UAJSGxzwHdEzgmc4crf+sr+MPPDAGeIN/SLSdw6MZNNkgdkNXar0NZZE/rMQ12DZhcK0YBZTxPEkyihL/V/lCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T05:57:43.901458Z","bundle_sha256":"69db286b3f5e5bc5f50e1753deba67651324e4d6cdaa2eea12dd9436a3ba3f25"}}