{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VLWVUE6INNI4INXMPU2N5XAOND","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":"163e9819e0ff322908d1c8a36165b8d79a86d6d4d08a0615a701f261d360ba12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-01-16T14:25:24Z","title_canon_sha256":"3a9e1ba5477a6d36563b5eeba509c22628b36fd782c54b2b07c14459a8b66f6a"},"schema_version":"1.0","source":{"id":"1601.04168","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.04168","created_at":"2026-05-18T01:17:24Z"},{"alias_kind":"arxiv_version","alias_value":"1601.04168v2","created_at":"2026-05-18T01:17:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.04168","created_at":"2026-05-18T01:17:24Z"},{"alias_kind":"pith_short_12","alias_value":"VLWVUE6INNI4","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VLWVUE6INNI4INXM","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VLWVUE6I","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:1f1b0f184a8852f328148017353356bfda6cdf57035c256077ae4122802f3199","target":"graph","created_at":"2026-05-18T01:17:24Z","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":"In this paper $\\mathrm{NFU}^{-\\mathrm{AC}}$ is used to denote Ronald Jensen's modification of Quine's `New Foundations' Set Theory ($\\mathrm{NF}$) fortified with a type-level pairing function but without the Axiom of Choice. The axiom $\\mathrm{AxCount}_\\geq$ is the variant of the Axiom of Counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that $\\mathrm{NFU}^{-\\mathrm{AC}}+\\mathrm{AxCount}_\\geq$ proves the consistency of the Simple Theory of Types with Infinity ($\\mathrm{TSTI}$). This result implies that $\\mathrm{NF}+\\mathrm{AxCount}_\\geq$ prov","authors_text":"Zachiri McKenzie","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-01-16T14:25:24Z","title":"On the strength of a weak variant of the Axiom of Counting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.04168","kind":"arxiv","version":2},"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:2fd89982d05d6fe86d09ea1054b8bcf0795a041e615dc236e5217b67ffb55047","target":"record","created_at":"2026-05-18T01:17:24Z","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":"163e9819e0ff322908d1c8a36165b8d79a86d6d4d08a0615a701f261d360ba12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-01-16T14:25:24Z","title_canon_sha256":"3a9e1ba5477a6d36563b5eeba509c22628b36fd782c54b2b07c14459a8b66f6a"},"schema_version":"1.0","source":{"id":"1601.04168","kind":"arxiv","version":2}},"canonical_sha256":"aaed5a13c86b51c436ec7d34dedc0e68c75468bb188bcd24c18640f9b2fb77f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aaed5a13c86b51c436ec7d34dedc0e68c75468bb188bcd24c18640f9b2fb77f9","first_computed_at":"2026-05-18T01:17:24.752727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:24.752727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lr6EW40jpSykvIvAahHQUaOwYzsYRgMwzS8/trQuuaZnJvBEnu/SPoGoxNHQJ5WOFPHhAmyiDLNoK132iQHoAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:24.753421Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.04168","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2fd89982d05d6fe86d09ea1054b8bcf0795a041e615dc236e5217b67ffb55047","sha256:1f1b0f184a8852f328148017353356bfda6cdf57035c256077ae4122802f3199"],"state_sha256":"0357263c4db69fda9d7bc05a3364bc319ac50110c0502b144ab5f02b74f10e59"}