{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:BL4AQKZUMCDHIDOF3GTVBB3CWA","short_pith_number":"pith:BL4AQKZU","schema_version":"1.0","canonical_sha256":"0af8082b346086740dc5d9a7508762b00c0b81baed64ff6abffbc007b2cd503c","source":{"kind":"arxiv","id":"1102.5562","version":2},"attestation_state":"computed","paper":{"title":"Exercices de style: a homotopy theory for set theory, I","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Assaf Hasson, Misha Gavrilovich","submitted_at":"2011-02-28T00:02:09Z","abstract_excerpt":"We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. In a subsequent paper \\cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $\\cov(\\lambda, \\aleph_1,\\aleph_1,2)$, recovered from this model category.\n  We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic exi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1102.5562","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-02-28T00:02:09Z","cross_cats_sorted":[],"title_canon_sha256":"2bfdef62328f0834317dc9cdd491aea9cd6ee6e8a8f5d0b399d646903b36ad0c","abstract_canon_sha256":"34ddca33026fea2b41833f03e7cd6ef6ef425e9148b4fa21616776e34fc61fd2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:23:35.639133Z","signature_b64":"BubZlof6tKrT8McrlGF1qQtTMYJU9HZfqneMmF+MMHR+2wOrUFr9roHvOJX4dopYj88xiyTO4zSfP9FFFWuPAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0af8082b346086740dc5d9a7508762b00c0b81baed64ff6abffbc007b2cd503c","last_reissued_at":"2026-05-18T03:23:35.638446Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:23:35.638446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exercices de style: a homotopy theory for set theory, I","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Assaf Hasson, Misha Gavrilovich","submitted_at":"2011-02-28T00:02:09Z","abstract_excerpt":"We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. In a subsequent paper \\cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $\\cov(\\lambda, \\aleph_1,\\aleph_1,2)$, recovered from this model category.\n  We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic exi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.5562","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1102.5562","created_at":"2026-05-18T03:23:35.638550+00:00"},{"alias_kind":"arxiv_version","alias_value":"1102.5562v2","created_at":"2026-05-18T03:23:35.638550+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.5562","created_at":"2026-05-18T03:23:35.638550+00:00"},{"alias_kind":"pith_short_12","alias_value":"BL4AQKZUMCDH","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BL4AQKZUMCDHIDOF","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BL4AQKZU","created_at":"2026-05-18T12:26:24.575870+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA","json":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA.json","graph_json":"https://pith.science/api/pith-number/BL4AQKZUMCDHIDOF3GTVBB3CWA/graph.json","events_json":"https://pith.science/api/pith-number/BL4AQKZUMCDHIDOF3GTVBB3CWA/events.json","paper":"https://pith.science/paper/BL4AQKZU"},"agent_actions":{"view_html":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA","download_json":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA.json","view_paper":"https://pith.science/paper/BL4AQKZU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1102.5562&json=true","fetch_graph":"https://pith.science/api/pith-number/BL4AQKZUMCDHIDOF3GTVBB3CWA/graph.json","fetch_events":"https://pith.science/api/pith-number/BL4AQKZUMCDHIDOF3GTVBB3CWA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA/action/storage_attestation","attest_author":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA/action/author_attestation","sign_citation":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA/action/citation_signature","submit_replication":"https://pith.science/pith/BL4AQKZUMCDHIDOF3GTVBB3CWA/action/replication_record"}},"created_at":"2026-05-18T03:23:35.638550+00:00","updated_at":"2026-05-18T03:23:35.638550+00:00"}