{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:B6SXARF2M7IEYBXT64FKBONL22","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":"f484e38dcf59c326ab77723b1ff5c7675aa559acb0b9c1e1a3b02efa842a6903","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-07T17:42:33Z","title_canon_sha256":"aed2fb00c970b17c82e27c5f76f5f67289c5745c3ce81f84afa0b33be3241459"},"schema_version":"1.0","source":{"id":"1402.1714","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.1714","created_at":"2026-05-18T02:59:46Z"},{"alias_kind":"arxiv_version","alias_value":"1402.1714v1","created_at":"2026-05-18T02:59:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.1714","created_at":"2026-05-18T02:59:46Z"},{"alias_kind":"pith_short_12","alias_value":"B6SXARF2M7IE","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"B6SXARF2M7IEYBXT","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"B6SXARF2","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:db9adf0e1b0304d12a505467e9d1ae4651a22621ad9542667d7eb297bf0f37de","target":"graph","created_at":"2026-05-18T02:59:46Z","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":"These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any scholar who has some familiarity with forcing and boolean valued models and full details of all proofs are given.\n  We focus our presentation using the boolean algebra language and defining an iteration system as a directed and commutative system of complete and injective homomorphisms between complete and atomless boolean algebras.\n  It is well known that the boolean algebra approach to forcing and iterations is ful","authors_text":"Giorgio Audrito, Matteo Viale, Silvia Steila","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-07T17:42:33Z","title":"A Boolean Algebraic Approach to Semiproper Iterations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.1714","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:f418a8f47bb23b67ade504b35507d59f5241db4b3b7a956a439a96a27c68385e","target":"record","created_at":"2026-05-18T02:59:46Z","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":"f484e38dcf59c326ab77723b1ff5c7675aa559acb0b9c1e1a3b02efa842a6903","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-02-07T17:42:33Z","title_canon_sha256":"aed2fb00c970b17c82e27c5f76f5f67289c5745c3ce81f84afa0b33be3241459"},"schema_version":"1.0","source":{"id":"1402.1714","kind":"arxiv","version":1}},"canonical_sha256":"0fa57044ba67d04c06f3f70aa0b9abd692cf965053618f8a85c198a0476a38b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fa57044ba67d04c06f3f70aa0b9abd692cf965053618f8a85c198a0476a38b6","first_computed_at":"2026-05-18T02:59:46.200545Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:59:46.200545Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sP3ha10068i9Q9qShtDG376/Kao8xVNH79iOjCiUxrZL1KaE+v75ajLn5hpazzVSOP+IFDkHqkPt21UshgU4Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:59:46.201460Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.1714","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f418a8f47bb23b67ade504b35507d59f5241db4b3b7a956a439a96a27c68385e","sha256:db9adf0e1b0304d12a505467e9d1ae4651a22621ad9542667d7eb297bf0f37de"],"state_sha256":"0730bc0e44af22e3effbcda5742bbe6c0826c4bb09fae5865cc698b36f5514f4"}