{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:7OFKXOBIPKPB4W27342RZC72VK","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":"56b8cb0c9b947d51565238c729c582c4f5f33e7b5c2503a8594feeaf19e85b7a","cross_cats_sorted":["math.AT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-01-14T12:47:46Z","title_canon_sha256":"832cf70c9347382f2506bcca82b945c8509a1a95bc8a9e2e33b0c3712bd93f16"},"schema_version":"1.0","source":{"id":"1101.2792","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.2792","created_at":"2026-05-18T03:39:29Z"},{"alias_kind":"arxiv_version","alias_value":"1101.2792v4","created_at":"2026-05-18T03:39:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.2792","created_at":"2026-05-18T03:39:29Z"},{"alias_kind":"pith_short_12","alias_value":"7OFKXOBIPKPB","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7OFKXOBIPKPB4W27","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7OFKXOBI","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:8d8c9d264ad48c97df85a3ba6d7b39631320de1430d24bff95b8cfe89e4179b0","target":"graph","created_at":"2026-05-18T03:39:29Z","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 lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of morphisms in a locally presentable category C of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) is provable in ZFC if S is \\Sigma_1, while it follows from","authors_text":"A. R. D. Mathias, Carles Casacuberta, Jiri Rosicky, Joan Bagaria","cross_cats":["math.AT","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-01-14T12:47:46Z","title":"Definable orthogonality classes in accessible categories are small"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.2792","kind":"arxiv","version":4},"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:a583235ed075431cd0df0771846f9fe45e9876b47c7c9b0f312bf73ca53f9222","target":"record","created_at":"2026-05-18T03:39:29Z","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":"56b8cb0c9b947d51565238c729c582c4f5f33e7b5c2503a8594feeaf19e85b7a","cross_cats_sorted":["math.AT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-01-14T12:47:46Z","title_canon_sha256":"832cf70c9347382f2506bcca82b945c8509a1a95bc8a9e2e33b0c3712bd93f16"},"schema_version":"1.0","source":{"id":"1101.2792","kind":"arxiv","version":4}},"canonical_sha256":"fb8aabb8287a9e1e5b5fdf351c8bfaaa888b47ba5f80cb2ff865dba0f95ba3e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb8aabb8287a9e1e5b5fdf351c8bfaaa888b47ba5f80cb2ff865dba0f95ba3e4","first_computed_at":"2026-05-18T03:39:29.391412Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:39:29.391412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FhS/gTDD7cIHVPERfdw9cQ+JnssezyARIaaS8u31VndaKyzNSFE+J4pSN6h6U6958IwiBEfZBAJuBUVRgubJDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:39:29.392055Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.2792","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a583235ed075431cd0df0771846f9fe45e9876b47c7c9b0f312bf73ca53f9222","sha256:8d8c9d264ad48c97df85a3ba6d7b39631320de1430d24bff95b8cfe89e4179b0"],"state_sha256":"8b6e1ceb754ad9a606f3f17e0ad078b9ade8c4b35f4b4dfd98cca4f41ef8017d"}