{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TUXX4CGEVUF3W4S3FFMHVY2RDA","short_pith_number":"pith:TUXX4CGE","canonical_record":{"source":{"id":"1907.05832","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2019-07-12T16:43:17Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"2ee4d9371d91b614507238d02c08e3ca84b979e4b61e7e34383db043013c146f","abstract_canon_sha256":"e5284f09424b248bc57d5fada4fac388fe901e55145827928dbf853131e10db1"},"schema_version":"1.0"},"canonical_sha256":"9d2f7e08c4ad0bbb725b29587ae351182db6d9fb192bd25235d8b17071e1bffc","source":{"kind":"arxiv","id":"1907.05832","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05832","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05832v1","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05832","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"TUXX4CGEVUF3","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TUXX4CGEVUF3W4S3","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TUXX4CGE","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TUXX4CGEVUF3W4S3FFMHVY2RDA","target":"record","payload":{"canonical_record":{"source":{"id":"1907.05832","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2019-07-12T16:43:17Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"2ee4d9371d91b614507238d02c08e3ca84b979e4b61e7e34383db043013c146f","abstract_canon_sha256":"e5284f09424b248bc57d5fada4fac388fe901e55145827928dbf853131e10db1"},"schema_version":"1.0"},"canonical_sha256":"9d2f7e08c4ad0bbb725b29587ae351182db6d9fb192bd25235d8b17071e1bffc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:44.269414Z","signature_b64":"RxtoD6iDIDdPyRDPB+A1ScZDcJ2YK5yGLH5bcVWjZB3C1jUyqe1sr20xOp8dNItnoqyDH2mm8nDodRjcf/FiCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d2f7e08c4ad0bbb725b29587ae351182db6d9fb192bd25235d8b17071e1bffc","last_reissued_at":"2026-05-17T23:40:44.268727Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:44.268727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.05832","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:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N6aoN/QXv47qr5ieNVo1M6kYOQG10h1bDvFjeiqGRSWsabzCplBNGbhOb0paMkebPW9eo8yr80vXlqrhWh7HBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:34:30.842587Z"},"content_sha256":"8803b1ba59513193faea4581383aed044fab2d333ab63f928a7780c219e1535a","schema_version":"1.0","event_id":"sha256:8803b1ba59513193faea4581383aed044fab2d333ab63f928a7780c219e1535a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TUXX4CGEVUF3W4S3FFMHVY2RDA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Introduction to Abstract Classification Theory in the Operator Algebraic Setting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.OA","authors_text":"Patrick Fraser","submitted_at":"2019-07-12T16:43:17Z","abstract_excerpt":"In the setting of modern mathematical logic and model theory, classification theory has been one of the landmark achievements of the field. Likewise, the classification of UHF-algebras and AF-algebras were substantial contributions to the field of operator algebra theory. These seemingly disparate topics of study in mathematics, model theory and operator algebras, have in recent years become closely related in many respects. I here attempt to bridge the gap between these two topics by discussing how operator algebraic classifications may be understood in terms of model-theoretic classification"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05832","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:40:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S++lfY1HBqPZpiOt0V2pTiB/CslblpVSEV6Tz0PzTEwv9tMAbPLahQf2qGlwR7c5jNo7IyvpvIuQ8npjDVNgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:34:30.842933Z"},"content_sha256":"3f53827882e73e73e45b982eaf7016fe8fc6a2d4db6efcbacf5e8d5f7b50ed7d","schema_version":"1.0","event_id":"sha256:3f53827882e73e73e45b982eaf7016fe8fc6a2d4db6efcbacf5e8d5f7b50ed7d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/bundle.json","state_url":"https://pith.science/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/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-12T08:34:30Z","links":{"resolver":"https://pith.science/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA","bundle":"https://pith.science/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/bundle.json","state":"https://pith.science/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TUXX4CGEVUF3W4S3FFMHVY2RDA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TUXX4CGEVUF3W4S3FFMHVY2RDA","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":"e5284f09424b248bc57d5fada4fac388fe901e55145827928dbf853131e10db1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2019-07-12T16:43:17Z","title_canon_sha256":"2ee4d9371d91b614507238d02c08e3ca84b979e4b61e7e34383db043013c146f"},"schema_version":"1.0","source":{"id":"1907.05832","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05832","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05832v1","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05832","created_at":"2026-05-17T23:40:44Z"},{"alias_kind":"pith_short_12","alias_value":"TUXX4CGEVUF3","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TUXX4CGEVUF3W4S3","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TUXX4CGE","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:3f53827882e73e73e45b982eaf7016fe8fc6a2d4db6efcbacf5e8d5f7b50ed7d","target":"graph","created_at":"2026-05-17T23:40: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":"In the setting of modern mathematical logic and model theory, classification theory has been one of the landmark achievements of the field. Likewise, the classification of UHF-algebras and AF-algebras were substantial contributions to the field of operator algebra theory. These seemingly disparate topics of study in mathematics, model theory and operator algebras, have in recent years become closely related in many respects. I here attempt to bridge the gap between these two topics by discussing how operator algebraic classifications may be understood in terms of model-theoretic classification","authors_text":"Patrick Fraser","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2019-07-12T16:43:17Z","title":"An Introduction to Abstract Classification Theory in the Operator Algebraic Setting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05832","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:8803b1ba59513193faea4581383aed044fab2d333ab63f928a7780c219e1535a","target":"record","created_at":"2026-05-17T23:40: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":"e5284f09424b248bc57d5fada4fac388fe901e55145827928dbf853131e10db1","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2019-07-12T16:43:17Z","title_canon_sha256":"2ee4d9371d91b614507238d02c08e3ca84b979e4b61e7e34383db043013c146f"},"schema_version":"1.0","source":{"id":"1907.05832","kind":"arxiv","version":1}},"canonical_sha256":"9d2f7e08c4ad0bbb725b29587ae351182db6d9fb192bd25235d8b17071e1bffc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d2f7e08c4ad0bbb725b29587ae351182db6d9fb192bd25235d8b17071e1bffc","first_computed_at":"2026-05-17T23:40:44.268727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:44.268727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RxtoD6iDIDdPyRDPB+A1ScZDcJ2YK5yGLH5bcVWjZB3C1jUyqe1sr20xOp8dNItnoqyDH2mm8nDodRjcf/FiCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:44.269414Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05832","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8803b1ba59513193faea4581383aed044fab2d333ab63f928a7780c219e1535a","sha256:3f53827882e73e73e45b982eaf7016fe8fc6a2d4db6efcbacf5e8d5f7b50ed7d"],"state_sha256":"29e55eb2d93c14885d8576cbfbfe37c97a3f6c91024d80afa40aa78b146f1867"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZdSLhxFGCUzE04ks821Bzeehu3TIHxZhYO8cCPD9Ip76dyEX52ZR/0fmeZCRArwxx5UKlJM8hpC+KnwT2RbXDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T08:34:30.844971Z","bundle_sha256":"24e1a110374a687a2e1b55521966daf87609ba694e823b7248dc563be75b7293"}}