{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TTIW3MC73SCA4UGKHT6V6WEVA5","short_pith_number":"pith:TTIW3MC7","canonical_record":{"source":{"id":"1905.05898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-15T00:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"ce931408522a63bf56067c1ad709e1645c42ca1ab2c8e6f413a2ab1298cff9b4","abstract_canon_sha256":"c1795c34c4cc303532159a9c8a4a4c0597dcc692897f6ad59aab18a8da04a5ad"},"schema_version":"1.0"},"canonical_sha256":"9cd16db05fdc840e50ca3cfd5f58950764b616a06e481ccbcbd41a3abc46ffce","source":{"kind":"arxiv","id":"1905.05898","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.05898","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"arxiv_version","alias_value":"1905.05898v1","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05898","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"pith_short_12","alias_value":"TTIW3MC73SCA","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TTIW3MC73SCA4UGK","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TTIW3MC7","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TTIW3MC73SCA4UGKHT6V6WEVA5","target":"record","payload":{"canonical_record":{"source":{"id":"1905.05898","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-15T00:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"ce931408522a63bf56067c1ad709e1645c42ca1ab2c8e6f413a2ab1298cff9b4","abstract_canon_sha256":"c1795c34c4cc303532159a9c8a4a4c0597dcc692897f6ad59aab18a8da04a5ad"},"schema_version":"1.0"},"canonical_sha256":"9cd16db05fdc840e50ca3cfd5f58950764b616a06e481ccbcbd41a3abc46ffce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:08.169412Z","signature_b64":"BEQEkwrPZejlI6s1xu5uuMIgHSFghCcL7Enj/8go5IjmdYtMiAju/p/w0Up+TntQaTYCyh4P0AZK9VHENESsCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cd16db05fdc840e50ca3cfd5f58950764b616a06e481ccbcbd41a3abc46ffce","last_reissued_at":"2026-05-17T23:46:08.168793Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:08.168793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.05898","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:46:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2mJXaJ03xJWroD3TMJdCKT6ncpbHIYhSegOZpZ0O0GpJIKvIPSYmbvL+E/Hp+XTcfCB3huuvoYDyzWK0BwJRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:57:09.342901Z"},"content_sha256":"b4b250b3cd0cee875d88410db394fb24e157b209ca81ea6e434b9a99e9dbd4c6","schema_version":"1.0","event_id":"sha256:b4b250b3cd0cee875d88410db394fb24e157b209ca81ea6e434b9a99e9dbd4c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TTIW3MC73SCA4UGKHT6V6WEVA5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compact Sets of Baire Class One Functions and Maximal Almost Disjoint Families","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Haim Horowitz, Stevo Todorcevic","submitted_at":"2019-05-15T00:24:18Z","abstract_excerpt":"We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new proof of that there are no maximal almost disjoint families in Solovay's model. We then use the ideas behind this proof to provide an extension of a dichotomy result by Rosenthal and by Bourgain, Fremlin and Talagrand to general pointwise bounded functions in Solovay's model. We then show that the same conclusions can be drawn about the model obtained when we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05898","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:46:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"voIuBxWdAiaKdqF5twv+5cTga2s0D4rOK7tD9QISwvLz7XPHXNLkDuebX2MWXriN8b/O86X7qkVqQovmwlwTAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:57:09.343366Z"},"content_sha256":"000a3645d71b1008986b2a67d2faaa566f8e4def724eecab50c49d1b8db596af","schema_version":"1.0","event_id":"sha256:000a3645d71b1008986b2a67d2faaa566f8e4def724eecab50c49d1b8db596af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/bundle.json","state_url":"https://pith.science/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/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-28T21:57:09Z","links":{"resolver":"https://pith.science/pith/TTIW3MC73SCA4UGKHT6V6WEVA5","bundle":"https://pith.science/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/bundle.json","state":"https://pith.science/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTIW3MC73SCA4UGKHT6V6WEVA5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TTIW3MC73SCA4UGKHT6V6WEVA5","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":"c1795c34c4cc303532159a9c8a4a4c0597dcc692897f6ad59aab18a8da04a5ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-15T00:24:18Z","title_canon_sha256":"ce931408522a63bf56067c1ad709e1645c42ca1ab2c8e6f413a2ab1298cff9b4"},"schema_version":"1.0","source":{"id":"1905.05898","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.05898","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"arxiv_version","alias_value":"1905.05898v1","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.05898","created_at":"2026-05-17T23:46:08Z"},{"alias_kind":"pith_short_12","alias_value":"TTIW3MC73SCA","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"TTIW3MC73SCA4UGK","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"TTIW3MC7","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:000a3645d71b1008986b2a67d2faaa566f8e4def724eecab50c49d1b8db596af","target":"graph","created_at":"2026-05-17T23:46:08Z","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 provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new proof of that there are no maximal almost disjoint families in Solovay's model. We then use the ideas behind this proof to provide an extension of a dichotomy result by Rosenthal and by Bourgain, Fremlin and Talagrand to general pointwise bounded functions in Solovay's model. We then show that the same conclusions can be drawn about the model obtained when we","authors_text":"Haim Horowitz, Stevo Todorcevic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-15T00:24:18Z","title":"Compact Sets of Baire Class One Functions and Maximal Almost Disjoint Families"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.05898","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:b4b250b3cd0cee875d88410db394fb24e157b209ca81ea6e434b9a99e9dbd4c6","target":"record","created_at":"2026-05-17T23:46:08Z","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":"c1795c34c4cc303532159a9c8a4a4c0597dcc692897f6ad59aab18a8da04a5ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-15T00:24:18Z","title_canon_sha256":"ce931408522a63bf56067c1ad709e1645c42ca1ab2c8e6f413a2ab1298cff9b4"},"schema_version":"1.0","source":{"id":"1905.05898","kind":"arxiv","version":1}},"canonical_sha256":"9cd16db05fdc840e50ca3cfd5f58950764b616a06e481ccbcbd41a3abc46ffce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cd16db05fdc840e50ca3cfd5f58950764b616a06e481ccbcbd41a3abc46ffce","first_computed_at":"2026-05-17T23:46:08.168793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:08.168793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BEQEkwrPZejlI6s1xu5uuMIgHSFghCcL7Enj/8go5IjmdYtMiAju/p/w0Up+TntQaTYCyh4P0AZK9VHENESsCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:08.169412Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.05898","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4b250b3cd0cee875d88410db394fb24e157b209ca81ea6e434b9a99e9dbd4c6","sha256:000a3645d71b1008986b2a67d2faaa566f8e4def724eecab50c49d1b8db596af"],"state_sha256":"ee2a55d3e1092dbe31d327d4a25a76a41af4ecaa292807c49c3ddf5412a41776"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PnY+PNktSe4wgZGorKUc/dj1KtM7auG1dEd2RQXHPGQ8ioiU5CTacuH5/AihvBKhe+702SRGY/j/8tDlKFsmCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T21:57:09.346574Z","bundle_sha256":"8dfb40ad785b078e44677136bade89eaf3861918fd185566d76bb2934812a776"}}