{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:DWJ553BOTYH7RBIGBQV2D5KEJR","short_pith_number":"pith:DWJ553BO","canonical_record":{"source":{"id":"1301.7528","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-01-31T07:44:32Z","cross_cats_sorted":[],"title_canon_sha256":"af76a3283d3340499581b3d3494085e3148480c9324cddbecc4f0efbb20e3fb8","abstract_canon_sha256":"6e9ce177ba036fb6ae133c497ed00d1ba9f29a36b492087967218f2871a7c169"},"schema_version":"1.0"},"canonical_sha256":"1d93deec2e9e0ff885060c2ba1f5444c5d7c66a74f58d7bb5a9d574bec92e212","source":{"kind":"arxiv","id":"1301.7528","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7528","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7528v1","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7528","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"DWJ553BOTYH7","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"DWJ553BOTYH7RBIG","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"DWJ553BO","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:DWJ553BOTYH7RBIGBQV2D5KEJR","target":"record","payload":{"canonical_record":{"source":{"id":"1301.7528","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-01-31T07:44:32Z","cross_cats_sorted":[],"title_canon_sha256":"af76a3283d3340499581b3d3494085e3148480c9324cddbecc4f0efbb20e3fb8","abstract_canon_sha256":"6e9ce177ba036fb6ae133c497ed00d1ba9f29a36b492087967218f2871a7c169"},"schema_version":"1.0"},"canonical_sha256":"1d93deec2e9e0ff885060c2ba1f5444c5d7c66a74f58d7bb5a9d574bec92e212","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:16.912499Z","signature_b64":"1636Wuqrm+UIMY0JtZNkOodBiZ3AnXlk/1lOu+xCZhhH5WdI2nBRoNaDei0ovSy6ibZqs+gTfDrCKTawSRJ+CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d93deec2e9e0ff885060c2ba1f5444c5d7c66a74f58d7bb5a9d574bec92e212","last_reissued_at":"2026-05-18T02:39:16.911882Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:16.911882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.7528","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-18T02:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WuBkh62BqeJ5SQoieJ5PNUPqjxBQWRhOdUfmTXRwR7cCVREnJNnZGCPNTD8yol2DianoOa8blXKjE8iOr+VoAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T00:50:41.888546Z"},"content_sha256":"8740067d159af3e309e557ae704d999ef91b430170df1e4a383275e79e83b891","schema_version":"1.0","event_id":"sha256:8740067d159af3e309e557ae704d999ef91b430170df1e4a383275e79e83b891"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:DWJ553BOTYH7RBIGBQV2D5KEJR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stationary reflection principles and two cardinal tree properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Boban Velickovic, Hiroshi Sakai","submitted_at":"2013-01-31T07:44:32Z","abstract_excerpt":"We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7528","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-18T02:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ImlKbPvz64ya/U8Hr7KPFRMwUZsROeFSWDdiCHiPPq6U8cmvW/Tw+0GUKTw05cXfZEbiAg5qESGEWnbNxSUDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T00:50:41.888896Z"},"content_sha256":"bab548234e318baa354c6984672eb08b05c786af7024326c6d5db80652945f23","schema_version":"1.0","event_id":"sha256:bab548234e318baa354c6984672eb08b05c786af7024326c6d5db80652945f23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/bundle.json","state_url":"https://pith.science/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/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-24T00:50:41Z","links":{"resolver":"https://pith.science/pith/DWJ553BOTYH7RBIGBQV2D5KEJR","bundle":"https://pith.science/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/bundle.json","state":"https://pith.science/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DWJ553BOTYH7RBIGBQV2D5KEJR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:DWJ553BOTYH7RBIGBQV2D5KEJR","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":"6e9ce177ba036fb6ae133c497ed00d1ba9f29a36b492087967218f2871a7c169","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-01-31T07:44:32Z","title_canon_sha256":"af76a3283d3340499581b3d3494085e3148480c9324cddbecc4f0efbb20e3fb8"},"schema_version":"1.0","source":{"id":"1301.7528","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7528","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7528v1","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7528","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"DWJ553BOTYH7","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"DWJ553BOTYH7RBIG","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"DWJ553BO","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:bab548234e318baa354c6984672eb08b05c786af7024326c6d5db80652945f23","target":"graph","created_at":"2026-05-18T02:39:16Z","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 study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set r","authors_text":"Boban Velickovic, Hiroshi Sakai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-01-31T07:44:32Z","title":"Stationary reflection principles and two cardinal tree properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7528","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:8740067d159af3e309e557ae704d999ef91b430170df1e4a383275e79e83b891","target":"record","created_at":"2026-05-18T02:39:16Z","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":"6e9ce177ba036fb6ae133c497ed00d1ba9f29a36b492087967218f2871a7c169","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-01-31T07:44:32Z","title_canon_sha256":"af76a3283d3340499581b3d3494085e3148480c9324cddbecc4f0efbb20e3fb8"},"schema_version":"1.0","source":{"id":"1301.7528","kind":"arxiv","version":1}},"canonical_sha256":"1d93deec2e9e0ff885060c2ba1f5444c5d7c66a74f58d7bb5a9d574bec92e212","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d93deec2e9e0ff885060c2ba1f5444c5d7c66a74f58d7bb5a9d574bec92e212","first_computed_at":"2026-05-18T02:39:16.911882Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:16.911882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1636Wuqrm+UIMY0JtZNkOodBiZ3AnXlk/1lOu+xCZhhH5WdI2nBRoNaDei0ovSy6ibZqs+gTfDrCKTawSRJ+CA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:16.912499Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.7528","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8740067d159af3e309e557ae704d999ef91b430170df1e4a383275e79e83b891","sha256:bab548234e318baa354c6984672eb08b05c786af7024326c6d5db80652945f23"],"state_sha256":"fdc1cea36bfb9101d039fdbc94f62fbfc82f6f34b45065138367394a3d129dae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aqGbnM16XPz3WiN8+Hu/vlSlSohSCab0WK9Ka2+DSbT2VXgWgcKeYulqhXICoPqFzTABRZXN0qHEnTNvkUHYCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T00:50:41.890894Z","bundle_sha256":"c5c60f98d6f400df89c66777b52a62d4081301129326e5b321761e5608bb834b"}}