{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CIZXIOUO2CKBWDDKRS7HNG3WRR","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":"f2c3299b0fc08212bb1dbd820f52e965447b59b3202b68128c7e7db1aebb56d5","cross_cats_sorted":["math.GN","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T20:06:09Z","title_canon_sha256":"0b7afdaff9dcf7c9bd203264d4bf268e012b8afcea4ea6bbe58a758df6b46f1b"},"schema_version":"1.0","source":{"id":"1305.3283","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3283","created_at":"2026-05-18T03:25:36Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3283v1","created_at":"2026-05-18T03:25:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3283","created_at":"2026-05-18T03:25:36Z"},{"alias_kind":"pith_short_12","alias_value":"CIZXIOUO2CKB","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CIZXIOUO2CKBWDDK","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CIZXIOUO","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:1afa1080dfe0494a444264a4535add37958abfbcc5f84b9d30895914c054ab8f","target":"graph","created_at":"2026-05-18T03:25:36Z","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":"The purpose of this paper is to outline a simple set of axioms for basic set theory from which most fundamental facts can be derived. The key to the whole project is a new axiom of set theory which I dubbed \"The Law of Extremes\". It allows for quick proofs of basic set-theoretic identities and logical tautologies, so it is also a good tool to aid one's memory.\n  I do not assume any exposure to euclidean geometry via axioms. Only an experience with transforming algebraic identities is required.\n  The idea is to get students to do proofs right from the get-go. In particular, I avoid entangling s","authors_text":"Jerzy Dydak","cross_cats":["math.GN","math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T20:06:09Z","title":"An approach to basic set theory and logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3283","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:1cc109b2f2dc9b4f037ac5fae2be961f2813a19bb4e62ac4eb76ca4c21663636","target":"record","created_at":"2026-05-18T03:25:36Z","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":"f2c3299b0fc08212bb1dbd820f52e965447b59b3202b68128c7e7db1aebb56d5","cross_cats_sorted":["math.GN","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T20:06:09Z","title_canon_sha256":"0b7afdaff9dcf7c9bd203264d4bf268e012b8afcea4ea6bbe58a758df6b46f1b"},"schema_version":"1.0","source":{"id":"1305.3283","kind":"arxiv","version":1}},"canonical_sha256":"1233743a8ed0941b0c6a8cbe769b768c6ee65eb5cf6acb1b8ada9864191b12b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1233743a8ed0941b0c6a8cbe769b768c6ee65eb5cf6acb1b8ada9864191b12b6","first_computed_at":"2026-05-18T03:25:36.231555Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:36.231555Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6uST+7c68I3FzAsuJRH8tYt23jGjhkV53FSqxh1W8QqEVVntOcK/MtFI3VrA77zKM4YlQI8eNxfKqLx7mXPeDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:36.232245Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.3283","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cc109b2f2dc9b4f037ac5fae2be961f2813a19bb4e62ac4eb76ca4c21663636","sha256:1afa1080dfe0494a444264a4535add37958abfbcc5f84b9d30895914c054ab8f"],"state_sha256":"fafb4ed2d03c2fc93c289712b1061eb6c2c94a2615d08f07266c81f0441237b4"}